[Einstein@home] 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

View article · Mon, 23 Feb 2026 18:46:42 +0000

[LODA] 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!

View article · Sat, 14 Feb 2026 18:39:44 +0000

[YAFU] Aliquot sequence 3453846 has terminated!!!

View article · Wed, 11 Feb 2026 20:06:34 +0000

Learn
Science projects
Science publications
User manual
Add-ons
Web resources

Communicate
Message boards
Help
Email lists
Report bugs

Help
Translate
Test
Publicize

Computing power · Certificate · Poll · Teams

• Create and maintain a BOINC project.
  
• Run Docker and Autodock jobs with BOINC Central.

Programmers:

• Visit the BOINC github repo

Recent publications
Check out recent papers from Einstein@Home and SETI@home.
17 Jan 2026, 21:51:13 UTC · Discuss

BOINC client 8.2.8 released
Version 8.2.8 of the BOINC client has been released for all platforms. Download it here. Release notes are here.
26 Nov 2025, 3:24:09 UTC · Discuss

BOINC client 8.2.4 released
The 8.2.4 version of the BOINC client has been released for all platforms. Download it here. Release notes are here. The new version supports Docker apps - an important step for BOINC.
10 Jul 2025, 21:46:02 UTC · Discuss

News is available as an RSS feed