The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why it matters.

OpenAI claims its model solved a famous geometry problem that has eluded the world’s greatest mathematicians for 80 years — a breakthrough hailed as evidence of the bot’s creativity and “intuition.” ...

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 ...

Forbes contributors publish independent expert analyses and insights. Anisha Sircar is a journalist covering tech, finance and society. This voice experience is generated by AI. Learn more. This voice ...

Here’s what you’ll learn when you read this story: A simple 2+2 problem became a paradox when real-world context intervened, sparking Kareem Carr’s debate on definitions and axioms. Carr and others ...

Mathematicians just made a big leap forward on one of the field’s all-time favorite problems. Curves—squiggly lines through space, such as a comet’s trajectory or a stock market trend—are some of math ...

With automated proof-checkers, a problem can be broken up into small chunks, solved bit-by-bit, then reassembled with ...