ResearchOpenAI Model Disproves 80-Year-Old Geometry Conjecture, Marks AI Breakthrough in Pure Math
An OpenAI-developed model, FunSearch, has made a groundbreaking discovery in mathematics, disproving a central conjecture related to the 80-year-old unit distance problem and the Hadwiger-Nelson problem. This milestone demonstrates AI's growing capability to contribute to pure mathematical research, moving beyond mere computation to genuine discovery.
