Model
96d agoAlphaProof Nexus Solves Decades-Old Math Problems
Nine open Erdős problems fell to AlphaProof Nexus, including two unsolved for 56 years. The system uses the Lean compiler to verify proof steps automatically. Despite these wins, the overall success rate remains a low 2.5 percent.
The Signal
This formal verification approach offers a reliable alternative to the natural-language hallucinations common in larger LLMs.