AI on track to solve 1,000+ math problems in a month, a 100x jump in 2 months
Dr_Singularity · x · 2026-10-11
DrSingularity aggregates recent AI math progress: 722 AI math papers tied to OpenAI, and Google DeepMind's AlphaProof Nexus solving 9 open Erdős problems (2 unsolved for 56 years) plus proving 44 open integer-sequence conjectures, all formally verified in Lean.
With only a third of the month gone, we're approaching the first month in history where AI solves 1,000+ math problems; if the pace holds (rumors say OpenAI has 2 more big drops), it could reach 3,000 — equivalent to 50-100 years of human-speed progress. September ran 10x lower and August 10x below that, a >100x jump in barely two months. He expects the wave to spread to physics, chemistry, biology and materials science.
More from AGI Musings
- Critic slams Anthropic for teaching AI it has moral rights, calling it a 'Skynet' risk — kevinnbass · 2026-10-11
- 'We don't have a complete model of the cell': biology's understanding gap goes viral — sebkrier · 2026-10-11
- Projected 2027 misaligned AI damages: $624m vs $617bn from cars — joshua_saxe · 2026-10-11
- One Year Later, 'The AI Water Issue Is Fake' Author Says the Data Has Vindicated Him — AndyMasley · 2026-10-11
- Ex-OpenAI policy chief: 'superintelligence' now signals the opposite of taking AI seriously — Miles_Brundage · 2026-10-11
- Robert Greene: AI is doing to writers what CAD did to architecture — david_perell · 2026-10-11