Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians ...

Tensordyne says logarithmic computing could reduce AI inference costs and power demands, offering an alternative to conventional chip designs.

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

A new study reveals that human mathematicians have surpassed AI in solving unpublished high-level math problems, challenging ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

Michael Harris, professor of mathematics at Columbia University, on why he co-authored a new declaration to preserve his ...

OpenAI's AI model solved the famous unit distance problem, a question that had challenged mathematicians since 1946 ...

With automated proof-checkers, a problem can be broken up into small chunks, solved bit-by-bit, then reassembled with ...

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...

Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is the backbone of AI, but mathematicians are also turning to these tools for tasks ...

Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.

At the 2024 International Mathematical Olympiad (IMO), one competitor did so well that it would have been awarded the Silver Prize, except for one thing: it was an AI system. This was the first time ...