TechSlashdot2h ago
OpenAI's Astra Solved Decades-Old Math Problems
OpenAI's Astra Solved Decades-Old Math Problems For $2,000
An anonymous reader quotes a report from Forbes: 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 machine-checkable proofs for questions that had resisted human progress for…
Read full articleSource: Slashdot · Opens in new tab