Two brothers in Singapore have built a data-encryption company on pure mathematics, betting that a problem no algorithm can ...

Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts ...

Across the front, it declares in italic script, “I’m too pretty to do math”. While some may see it as a joke, it is sparking ...

The bat-and-ball problem is a famous math puzzle that more than half of people—even Harvard graduates—get wrong. It's ...

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.

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

AlphaProof Nexus combines LLM-driven proof generation with machine verification to crack open math research problems that have stumped mathematicians for decades. Google Deepmind's new framework ...

OpenAI announced on May 20, 2026, that an internal general-purpose reasoning model had produced a counterexample to Paul Erdős's 1946 unit distance conjecture — a result in discrete geometry that had ...

An 80-year-old maths conjecture that has eluded the world’s greatest mathematicians has been cracked by an artificial intelligence model built by OpenAI. The result has stunned experts and is being ...

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.