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 decades. OpenAI published the work on August 1 and used it to give its next major model family a name: Astra. The…
OpenAI's Astra model has reportedly solved decades-old mathematical problems for just $2,000, according to a report from Forbes. The model generated machine-checkable proofs for ten longstanding problems in fields such as group theory, high-dimensional geometry, coding theory, quantum complexity, lattice cryptography, and extremal combinatorics.
The results are presented in a 249-page manuscript, accompanied by machine-checkable certificates for every single result, marking a significant milestone in the field. This follows a previous achievement in May, where Astra produced an original mathematical proof disproving a famous unsolved conjecture in geometry.
Brief written by urgent.news from Slashdot's own syndicated text. Machine-written — may contain errors; check the original before relying on it.
