Model
95d agoAlphaProof Nexus Solves Decades-Old Math Problems
Nine open Erdős problems were solved by AlphaProof Nexus, including two unsolved for 56 years. The system uses the Lean compiler to verify every proof step automatically. Inference costs averaged a few hundred dollars per problem.
The Signal
Despite these wins, the model maintains a low 2.5 percent overall success rate for complex mathematical proofs.