The world’s smartest AI models are now superhuman at math. They still respond to moral support and encouragement from mere humans.

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

OpenAI Astra reportedly solved 10 long-standing math problems dating back to 1946. Mathematicians are now actively debating ...

OpenAI just used its new large language model GPT-5.6 Sol to solve a math problem that humans have struggled with for more than a half-century. And all it took was telling the artificial intelligence ...