In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...

A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in math’s top journal if humans had done it alone ...

A general-purpose reasoning model, not a math-trained system, produced a new family of point configurations that broke Paul Erdős's 1946 upper bound for the pla ...

OpenAI's AI disproved the Erdős unit distance conjecture, an 80-year-old geometry problem. Days later, Google DeepMind solved ...