
The Real Story of OpenAI's Astra Proofs Isn't the Maths. It's the Verification
OpenAI says an unreleased model solved ten decade-old open problems. What makes this different from the company's last maths claim is not the results — it's a folder of files anyone can compile

