OpenAI’s Reasoning Model Claims Breakthrough on 1946 Geometry Conjecture as Mathematicians Verify
OpenAI is once again putting its reasoning models in the spotlight, this time with a claim that—if it survives the usual gauntlet of mathematical scrutiny—would mark one of the most consequential moments yet for AI in formal science. The company…
