Get the latest tech news
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 publ...
None
Or read this on Slashdot
