Topics

Follow the subjects shaping intelligence, science, culture, and the future of technology.

Browse topics

Find a subject, then follow its latest reporting and ideas.

#AIInMathematics

Stories, interviews, and analysis in this subject.

AI agents mathematically verify Signal's encryption code
News Nov 12, 2026

AI agents mathematically verify Signal's encryption code

Google DeepMind's AlphaProof Code used teams of AI agents, checked by the Lean proof system, to mathematically prove key security properties of Signal's encryption code in four weeks.
Giulio Prisco 2 min read
Big math is beginning to outgrow its creators, mathematician Steven Strogatz warns
News Nov 11, 2026

Big math is beginning to outgrow its creators, mathematician Steven Strogatz warns

In a new book, Steven Strogatz and Alex Townsend explain how simple mathematical ideas supercharged by computers and AI quietly run the world while drifting beyond human understanding.
Giulio Prisco 2 min read
Anthropic's quiet proof shakes a pillar of computer science
News Oct 29, 2026

Anthropic's quiet proof shakes a pillar of computer science

Hours after OpenAI announced it had overturned the exponential time hypothesis, rival Anthropic revealed its own model had reached the same result on the same day, by a different route and with a very different rollout.
Giulio Prisco 2 min read
OpenAI reports a Navier-Stokes blowup for a Millennium Prize problem
News Sep 9, 2026

OpenAI reports a Navier-Stokes blowup for a Millennium Prize problem

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.

Giulio Prisco 2 min read
The Shape-Shifting Search Party: How CMA-ES Finds Order in Mathematical Chaos
Community Oct 28, 2026

The Shape-Shifting Search Party: How CMA-ES Finds Order in Mathematical Chaos

When complex landscapes break traditional math, CMA-ES deploys an intelligent, shape-shifting search cloud that mimics evolution to conquer chaotic, blindfolded optimization challenges without using derivatives.
Emrakeb Ermias 6 min read
OpenAI says its models produced three research results and tests new ways to share them
News Oct 27, 2026

OpenAI says its models produced three research results and tests new ways to share them

OpenAI announced AI-generated proofs in mathematics, computer science, and physics, and is experimenting with expert-led collaborations to turn raw model output into verified scientific understanding.
Giulio Prisco 2 min read
AI is blowing up mathematics. So what?
Article Sep 14, 2026

AI is blowing up mathematics. So what?

My guess is that the remaining Millennium Prize Problems, and then large stretches of physics and the other formal sciences, will go the same way. But so what?
Giulio Prisco 9 min read
The Future of Mathematical Discovery: Code, Creativity, and the Rise of AI
Community May 15, 2025

The Future of Mathematical Discovery: Code, Creativity, and the Rise of AI

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.

Yohannes Taye 5 min read
Claude writes a computer-checked proof of Fermat’s last theorem
News Sep 7, 2026

Claude writes a computer-checked proof of Fermat’s last theorem

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.

Giulio Prisco 2 min read
Mathematics in the age of artificial intelligence: Terence Tao
News Aug 20, 2026

Mathematics in the age of artificial intelligence: Terence Tao

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

Giulio Prisco 2 min read