Model Releases
The proof came from a general-purpose reasoning model, not a system built specifically to solve math problems or this problem in particular,…
The proof came from a general-purpose reasoning model, not a system built specifically to solve math problems or this problem in particular, and represents an important milestone for the math and AI c
The proof came from a general-purpose reasoning model, not a system built specifically to solve math problems or this problem in particular, and represents an important milestone for the math and AI communities. https://openai.com/index/model-disproves-discrete-geometry-conjecture/
Source: OpenAI (X) | 2026-05-20