AI & RoboticsMore in AI & Robotics→
OpenAI Says Its Model Broke an 80-Year Geometry Assumption
OpenAI says one of its reasoning models found a proof that overturns a long-held belief about the classic unit distance problem, a result external mathematicians have checked and described as a milestone for AI-assisted,
Key Takeaways
- OpenAI says an internal model disproved a long-standing conjecture tied to the planar unit distance problem.
- The company says external mathematicians checked the proof and wrote a companion paper explaining its significance.
DE
DT Editorial Team··via openai.com