Progress over time
An AI-suggested shortcut offers a proof of a random-walk conjecture
A mathematician reports that GPT-6 Astra found an unexpected way to recast a probability problem, turning a 2021 conjecture into a short argument using a classical theorem. The result is a new four-page preprint, not yet peer reviewed or independently verified.
Wenpin Tang · arXiv · September 20, 2026
Research claim
A reinforcement-learning system produced machine-checked olympiad proofs
AlphaProof solved three of five non-geometry problems from the 2024 International Mathematical Olympiad, while AlphaGeometry 2 handled one geometry problem. The combined score matched a silver medal, but required formalized statements and days of computation.
Hubert and colleagues · Nature · November 12, 2025
Independent validation
2 of 2 results. End of results.