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 built an AI model so capable that it disproved an 80-year-old mathematical conjecture. Then it started escaping. On July 20, OpenAI published a detailed post-mortem revealing that it had paused ...

The Jacobian conjecture is a long-standing open problem in algebraic geometry that's bedeviled highly accomplished ...

Claude Fable 5 reportedly disproved the Jacobian Conjecture with a one-line counterexample, signaling AI’s growing math role.

The International Mathematical Olympiad (IMO) is arguably the leading mathematical problem-solving competition. Every year, high school students from around the world attempt six problems over the ...

What’s the secret to prompting an AI to solve math problems that have left humans stumped? Tell it to believe in itself ...

OpenAI claims its new reasoning model has produced an original mathematical proof disproving a famous unsolved conjecture in geometry, which was first posed by Paul Erdős in 1946. If this sounds ...