Nippon Telegraph and Telephone Corp. (NTT) has set up a mathematics institute to lure any bright mind capable of taking up ...

Axiom Math says its AxiomProver AI system has solved four long-standing math problems and achieved peer-reviewed publication, ...

According to a mathematical model of how people weigh up different outcomes, the optimal strategy is to be ambitious, but not ...

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

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

For decades, one of mathematics' most famous unsolved puzzles resisted the efforts of researchers around the world.

Google DeepMind's AlphaProof Nexus solved nine longstanding Erdős problems with Lean-verified proofs, sparking debates about AI progress and its limitations.

Le Quang Dung, a gold medalist at the 2017 International Mathematical Olympiad, has co-authored the first paper in a series of studies tackling a major unsolved problem in Bayesian nonparametrics that ...

Then it’s kind of a mystery to try to figure out why and how they’re related.” The Riemann hypothesis has proved to be a font of surprising connections all over math and beyond it, to the realm of the ...

Did AI just crack 80 year old maths mystery? OpenAI says that its AI has solved a famous geometry problem that remained ...

Mathematicians are stunned at the progress AI is making in solving advanced problems, leaving some questioning whether there ...

A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...