Downtime for database upgrade  |
|
There will be some server downtime Wednesday morning from 9 UTC due to a database upgrade.
|
|
| Telephone Challenge |
|
From March 7 10:00 to March 17 10:00 PrimeGrid will be running a 10 day challenge on the Seventeen or Bust (LLR) project.
For more information, please see this forum thread.
|
|
| Server upgrade is complete |
|
The server upgrade is complete. Thanks for your patience during the few hours of downtime.
|
|
| Einstein@Home's most sensitive continuous gravitational-wave search |
The results of Einstein@Home's deepest search yet for elusive continuous gravitational waves were recently published in The Astrophysical Journal. read more |
|
| Server upgrade |
|
The NFS@Home server will be upgraded shortly. During this process, the project may be intermittently offline. An announcement will be posted once the upgrades are complete. We apologize for the inconvenience.
|
|
| 150,000 Programs Milestone Reached |
We are thrilled to announce that the LODA BOINC project has reached another remarkable milestone: over 150,000 programs discovered! This represents a 10,000 program increase since our last announcement in October 2025, and we couldn't have achieved this without your dedicated support and computing power.
Major Developments Since October 2025
LEAN Theorem Prover Integration
The most significant advancement has been our comprehensive LEAN formula generation capability. LODA can now automatically export programs to LEAN format, enabling formal verification of integer sequence formulas. This groundbreaking feature includes:
* Support for simple recursive functions and multiple mutually recursive functions
* Support for factorial (fac), power (pow), binomial coefficients (bin), and bitwise operations
* LEAN project support for automated testing and validation
This integration bridges the gap between automated program discovery and formal mathematical proof, opening new possibilities for verified mathematics in the OEIS community.
Formula Generation Enhancements
We've dramatically improved formula generation capabilities, supporting more LODA operations including memory operations (fil, rol, ror), conditional division (dif), digital root (dir), and largest exponent (lex). Performance optimizations have made formula generation significantly faster.
Infrastructure Modernization
We've integrated libcurl and zlib libraries directly into LODA, eliminating dependencies on external curl/wget and gzip/gunzip tools. This makes LODA more self-contained and reliable across all platforms. We've also migrated to v2 API endpoints and added automatic detection and reporting of broken b-files for improved data quality.
Platform Support
LODA now supports Windows ARM64 architecture, expanding our reach to newer Windows devices with ARM processors.
Performance Improvements
Numerous optimizations have been implemented, including improved operation merging in the optimizer, better handling of pow and nrt operations, and increased default maximum physical memory for handling larger computation tasks.
Looking Forward
With over 150,000 programs now in our database, LODA continues to expand the boundaries of automated mathematical discovery. The LEAN integration represents a major step toward formally verified programs, and we're excited to see how this capability will be used by the mathematical community.
Thank you for your unwavering support and for contributing your computing resources to advance mathematical knowledge. Every program you help discover brings us closer to understanding the beautiful patterns hidden within integer sequences!
|
|
| Aliquot sequence 3453846 has terminated!!! |
|
|
| base R199 Megaprime |
Sightus@CAU, a member of the team Planet 3DNow! found a megaprime for base R199.
The prime 1676*199^460981-1 has 1.059.731 digits digits and entered the T5k PrimePages.
|
|
| Aliquot sequence 3603528 has terminated!!! |
|
|
| aarch64 TF apps deprecated |
|
After reporting results to primenet, all results from theses apps were invalid. We still need to investigate what's wrong.
|
|
| base S905 Megaprime |
Sightus@CAU, a member of the team Planet 3DNow! found a megaprime for base S905.
The prime 62*905^449123+1 has 1.327.901 digits digits and entered the T5k PrimePages.
|
|
| Server Upgrade - Monday 26th January 2026 |
|
On Monday at 13:30 CET, the server will be upgraded the latest release. This will involve downtime since the data base will need to be upgraded.
|
|
| iThena.Measurements: The project comes back to life |
After a long break in the operation of iThena.Measurements Project, the system came back to life.
The problems were related to major technical issues.
Initially, there were problems with the fiber optic connection.
Later, after the fiber optic cable was repaired, problems with the main server arose. Unfortunately, the problem turned out to be quite complex and the entire motherboard in the rack server had to be replaced.
There was no official information. Several people wrote to me by email and I replied with a brief message saying that I hoped everything could be repaired without any loss of data. Fortunately, it worked...
It was the longest interruption in the system's operation in history and lasted from 2025-11-13 12:35:47 to 2026-01-17 15:47:30, i.e., 1563 hours and 11 minutes.
No data should be lost.
Thank you all very much for your patience...
|
|
| iThena.Computational: The project comes back to life |
After a long break in the operation of iThena.Computational Project, the system came back to life.
The problems were related to major technical issues.
Initially, there were problems with the fiber optic connection.
Later, after the fiber optic cable was repaired, problems with the main server arose. Unfortunately, the problem turned out to be quite complex and the entire motherboard in the rack server had to be replaced.
There was no official information. Several people wrote to me by email and I replied with a brief message saying that I hoped everything could be repaired without any loss of data. Fortunately, it worked...
It was the longest interruption in the system's operation in history and lasted from 2025-11-13 12:34:12 to 2026-01-17 15:47:33, i.e., 1563 hours and 13 minutes.
No data should be lost.
Thank you all very much for your patience...
|
|
| Aliquot sequence 3576396 has terminated!!! |
|
|
| Aliquot sequence 3614880 has terminated!!! |
|
|
| base S161 - 2 Megaprimes |
Sightus@CAU, a member of the team Planet 3DNow! found a megaprime for base S161.
The prime 1600*161^456616+1 has 1.007.676 digits digits and entered the T5k PrimePages.
Sightus@CAU, a member of the team Planet 3DNow! found a megaprime for base S161.
The prime 892*161^495304+1 has 1.093.053 digits digits and entered the T5k PrimePages.
|
|
| base S178 Megaprime |
Sightus@CAU, a member of the team Planet 3DNow! found a megaprime for base S178.
The prime 126*178^468180+1 has 1.053.604 digits digits and entered the T5k PrimePages.
|
|
| Aliquot sequence 2994696 has terminated!!! |
|
|
| Status update |
Unfortunately, there is nothing to report right now. The BOINC server is up and running, waiting for input from the scientists, but there is no news at this time. Thank you for your patience.
The biologists are still working on the results obtained in the past. I’ll keep you updated when some papers are published.
|
|
