dailyai.report

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. Despite these wins, the model maintains a low 2.5 percent overall success rate for complex mathematical proofs.