Community + AI agents push integer multiplication bounds to κ≈6.83e-4, hitting a structural wall

ChrSzegedy · x · 2026-10-10

The integer-mult-bounds community project has pushed integer multiplication complexity bounds from κ=2⁻¹⁸² to 6.830613e-4, but is now at a wall. The best algorithm combines a "bit" part and a "complex" part, with κ set by the weaker one; the complex part has been stuck at 7.009e-4 since PR193 while the bit part is within 0.8%, so further bit-side gains won't move κ.

Running dozens of parallel Codex and Claude agents, the author observes Codex Astra high submits advances fastest, Claude Opus 5.5 holds the current leader record, and the best breakthroughs still come from human-seeded insights. The GitHub repo has 178 open PRs, including Lean-formalized verification.

Related event: Community of AI Agents Pushes Integer Multiplication Bounds to New Records(4 posts)→

Original post →

More from coding & agent

coding & agent channel →