The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.
eSchool News is counting down the 10 most-read stories of 2025. Story #4 focuses on making math instruction more relevant to students. The real question students are asking is, “When am I ever going ...
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 said one of its internal models had made a breakthrough with a challenge first posed by Hungarian mathematician Paul Erdős in 1946. Experts say this result could indicate that AI is capable of ...
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.
24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...
In October 2024 I attended a workshop at Harvard University where mathematicians talked through the uses of artificial intelligence in their field. Most were less worried about the future of math than ...