OpenAI model finds counterexample to decades-old geometry conjecture

An OpenAI model discovered a counterexample to the Hadwiger-Nelson problem, a 70-year-old conjecture in discrete geometry about coloring points in planes. The finding demonstrates how AI can tackle pure math problems, though it required human mathematicians to verify and formalize the result—a useful reminder that machine discovery still needs human validation.