#proof theory

An unreleased Anthropic model made progress on one of math’s biggest unsolved problems

Explore how AI models are advancing mathematical research, particularly in tackling the Riemann hypothesis - one of mathematics' most challenging unsolved problems.