Top artificial intelligence systems now ace many textbook-style math questions, yet they still fall apart on genuinely new problems. The gap between polished performance on familiar benchmarks and ...

In new research, mathematicians have narrowed down one of the biggest outstanding problems in math. Huge breakthroughs in math and science are usually the work of many people over many years. Seven ...

A ripple tells you something happened, but not exactly what. That is the core problem behind a hard class of equations that ...

Google DeepMind’s AlphaProof and AlphaGeometry 2 are milestones for AI reasoning. This story originally appeared in The Algorithm, our weekly newsletter on AI. To get stories like this in your inbox ...

Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company hopes. Axiom Math, a startup based in Palo Alto, California, has released a ...

Breakthroughs in pure mathematics can take decades. A new Defense Department initiative aims to speed things up using artificial intelligence. By Alexander Nazaryan Artificial intelligence can write a ...

Tessellations aren’t just eye-catching patterns—they can be used to crack complex mathematical problems. By repeatedly reflecting shapes to tile a surface, researchers uncovered a method that links ...

A graduate student recently harnessed the complexity of mathematical proofs to create a powerful new tool in cryptography.