In at least two cases, the AI tool was “able to construct an original and valid proof” to unsolved conjectures.

AI systems are beginning to produce proof ideas that experts take seriously, even when final acceptance is still pending.

The seven Millennium Prize Problems represent some of the hardest unsolved questions in mathematics, including one famously ...

The race is on to develop an artificial intelligence that can do pure mathematics, and top mathematicians just threw down the ...

Frustrated by the AI industry’s claims of proving math results without offering transparency, a team of leading academics has ...

There are lots of unsolved mysteries in the world of math, and many of them start off with a deceptively simple premise, like ...

Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

The conventional wisdom holds that entrepreneurs should identify unsolved problems and create novel solutions. But that approach misses where the real leverage exists right now. Established industries ...

Kevin Weil, head of OpenAI's science team, says GPT-5 is already making researchers more productive and predicts 2026 will be a breakthrough year for AI in science, similar to what 2025 was for ...