#mathematics

OpenAI researchers Sebastian Bubeck and Ernest Ryu argue that mathematics has become a crucial benchmark for AI because it demands long chains of correct reasoning, error correction, and verifiable results.

A newly developed mathematical tool could give researchers a more practical way to distinguish complex knots, a longstanding challenge in topology and related sciences.

After a breakout year of progress, artificial intelligence is moving from math competitions into frontline research, helping mathematicians generate conjectures, test ideas, and prove new results faster.

Researchers reported an AI approach inspired by the logic of Rubik’s Cube solving that can simplify particle physics equations, linking a familiar puzzle strategy to a difficult mathematical problem in high-energy theory

After decades of stalled progress, researchers believe new mathematical tools are beginning to explain how the force that binds atomic nuclei together produces the massive particles that make up visible matter.

Axiom Math, a $64M-funded startup led by a 24-year-old Stanford dropout, has released Axplorer — a free AI tool that replicates on a Mac Pro what previously required a supercomputer running for three weeks.

Artificial intelligence is reshaping how mathematicians discover proofs and explore conjectures, triggering what experts call the biggest shift in the field's history.