Topics

An internal model and thousands of coordinating agents produced a machine-checked argument that smooth three-dimensional flow can reach unbounded speed in finite time.

Agents spent eleven days turning a famous 1990s argument into Lean code so a machine could check every step from the basic rules of mathematics.

An examination by a top mathematician of how mathematicians might respond to AI capable of research tasks.

An artificial intelligence system has produced a fully machine-checked formal proof of the strongest known bound showing that pairs of primes stay close infinitely often.

A new AI approach isn’t just solving math problems—it’s writing programs that discover new theorems, reshaping how we think about creativity in science.

AI models crack major math conjectures, expose containment failures in long-horizon systems, and China releases the largest open-weight model to date.

An unreleased research version of the model raised the known minimum share of zeros lying on the critical line from 41.6 percent to 67.2 percent while attempting a harder problem.

AI generated solutions and progress on ten problems that had remained open for at least a decade across several branches of pure mathematics and theoretical computer science.