The Leiden Declaration: Mathematics, AI, and Making Our Values Explicit

When the Leiden Declaration on Artificial Intelligence and Mathematics went live on 2 June 2026, things moved quickly. The Declaration, which I co-authored, is a call to action for the mathematical...

Communications of the ACM·4d ago

What GenAI’s Math Breakthrough Means For Medicine

GenAI’s breakthrough in mathematics offers a lesson for medicine: solving healthcare’s biggest problems means questioning old assumptions.

Forbes·Jun 22

NIST Mathematical Proof Supports Transition to a Continuous-Monitor-and-Update Security Model for AI Systems

National Institute of Standards and Technology (.gov)·Jun 9

Mathematicians stunned by AI's biggest breakthrough in mathematics yet

New Scientist·May 21

The Sequence Radar #807: Last Week in AI: From Mega-Rounds to Mathematical Breakthrough

TheSequence·Feb 15

Google DeepMind CEO calls 'Maths breakthrough' claim of leading OpenAI researcher, 'Embarrassing'

The Times of India·Oct 21

What Is a Reasoning Model? The AI Breakthrough That Taught Machines to “Think”

In September 2024, OpenAI previewed a model that behaved differently from the AI systems most people had grown accustomed to. Instead of instantly generating an answer, it appeared to pause, ...

TechStory·4d ago

AI Can Do Math, but Is It Really Math?

A breakthrough from an OpenAI model would have meant nothing without humans to make sense of it.

The Wall Street Journal·Jun 14

An AI math breakthrough sparks calls for new guardrails

Science News·Jun 8

OpenAI breakthrough shifts Math AI market dynamics, impacts Anthropic’s position

Crypto Briefing·May 21

Google's year in review: 8 areas with research breakthroughs in 2025

blog.google·Dec 23

Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad

Google DeepMind·Jul 21

A.I.’s First Big Math Breakthrough Is Not What It Seems

Some have interpreted this as the defining moment when A.I. surpassed human prowess in math, akin to the moment in 1997 when IBM’s Deep Blue took down chess champ Garry Kasparov. The reality is more...

Slate·Jun 22

Over 150 Mathematicians Are Telling Governments to Stop Believing AI's Math Claims

Over 150 mathematicians signed the Leiden Declaration urging governments to stop trusting AI math breakthrough claims in 2026. Here's what the experts actually found.

Memeburn·Jun 11

AI makes a major breakthrough in a math problem that had stumped experts for decades

Phys.org·May 22

AI Breakthrough Solves One of Science’s Most Challenging Math Problems

Bioengineer.org·May 1

Google hails breakthrough as quantum computer surpasses ability of supercomputers

The Guardian·Oct 22

Harmonic: $100 Million Series B Secured For Advancing Mathematical Superintelligence Platform

Pulse 2.0·Jul 15