OpenAI shifts the boundary of automated reasoning with a "milestone in AI mathematics" that experts are now unpacking
A reasoning model from OpenAI has disproved a conjecture by mathematician Paul Erdős on unit-distance geometry that stood open since 1946 - using tools from algebraic number theory that experts never expected in this context. Fields Medalist Tim Gowers calls the result "a milestone in AI…
No discussion yet. Be the first to share your thoughts!