The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.
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.
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 ...
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 ...
Penn Engineers have developed a new way to use AI to solve inverse partial differential equations (PDEs), a particularly challenging class of mathematical problems with broad implications for ...
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 ...