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

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...

AI math proof verification reached a new frontier as DeepMind’s AlphaProof Nexus solved nine open Erdős research problems with Lean-verified proofs, some unsolved for 56 years. The May 2026 Science Ne ...

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

P vs. NP asks: are these two classes actually the same? If P = NP, then every “hard” problem is secretly fast to solve; we ...

Only a few months ago, the question felt mostly philosophical: if artificial intelligence can help solve open math problems, what happens to the idea of human genius? That question is no longer ...

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

Penn researchers have developed a smarter AI method for solving notoriously difficult inverse equations, which help scientists uncover hidden causes behind observable effects. By introducing ...

UPDATE (2:30 p.m.): The Two Step Inn Festival has announced they are issuing refunds after being forced to cancel multiple acts on April 18. "Due to Saturday's shortened performance schedule all ...

A new study finds that a consumer AI model can help generate novel mathematical proofs, hinting at a shift in how theoretical research is conducted. Credit: Shutterstock New research has found ChatGPT ...