OpenAI publishes ten formally-verified math advances from unreleased Astra model
OpenAI said generating all ten proofs cost about $2,000 in compute; mathematician Gary Marcus called the framing 'vastly oversold' relative to what the paper actually verified.
Benchmarks & progress · Models & capabilities · Ideas & essays