AI Proves Decades-Old Math Problems With Machine-Checkable Results

The cost of generating new results on some of mathematics’ long-standing open problems has dropped dramatically, with OpenAI claiming that its Astra model produced machine-checkable proofs for 10 questions that had remained unresolved for at least a decade. OpenAI published the research on August 1, using the name Astra for its next major model family. The work spans several areas of advanced…