OpenAI's Astra Solved Decades-Old Math Problems For $2,000
Source: Slashdot.org· Anonymous Coward· August 4, 2026
The cost of producing new results on ten longstanding mathematical problems just fell to $2,000, according to OpenAI, which says its Astra model generated machinecheckable proofs for questions that had resisted human progress for decades. OpenAI published the…
This story was reported by Slashdot.org. Read the full original article:
Read on Slashdot.org 
