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 i... (opens in new tab)

Covers An OpenAI model has disproved a central conjecture in discrete geometry

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.

Read the original article