OpenAI's Astra Solved Decades-Old Math Problems For $2,000

Source: Slashdot.org· BeauHD· August 4, 2026
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 resiste…

This story was reported by Slashdot.org. Read the full original article:
Read on Slashdot.org

More in Products & Launches

View all