What's new
247A, Notes 3: Singular integral operators
The quasi-Riemann hypothesis
More additional blog posts and articles
Disadvantages of Designating Mathematicians for AI Output Releases
oai-math-revised: a community hub for revising OpenAI’s math write-ups
IAS applications for membership in the school of mathematics
Simple and critical zeros of the Riemann zeta-function
Mathematics is a subject for the young
An experimental AI-math challenge: using tenth discriminant bounds to explore arguments ruling out Siegel zeroes
A sketch of the proof of non-existence of Siegel zeroes
The Bourgain Project
Will it be a golden age or a dark age for mathematics (and science)?
Starting a new journal
Some of my recent talks and interviews
SAIR Open Math OS released
How to Formalize All of Mathematics
Why are we even doing all this?
Simons Foundation Launches $15M Effort To Help Mathematicians Navigate AI Era
Call for stories: human–AI collaboration in recent mathematics
First Proof, Third Batch webinar
2026 AMS Committee on Education Workshop Report
This is normal bad work
Additional recent pieces on math and AI
Illustration beyond Proof
Math 2.0
What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI
What should we tell our students?
AHM Statement on OpenAI’s October 6 Release of Mathematical Documents
The barriers of perception
Hexagon
Changes to the Erdős problems web site
Postdoc position on formal verification and algorithm discovery for numerical analysis
The Future of Mathematics
On classical solutions and singularity formation in incompressible fluids
What does the advent of powerful AI models mean for mathematicians like me?
AIM: an invitation to explore mathematics together
247A, Notes 2: The Hardy–Littlewood maximal function and applications
arXiv updates its rate limiting policy
Two reports
How AI does, and does not, change the way I do math
Joint Statement about Mathathon
Cognitive Sanctuaries or: Manifesto of the Department Chair
A value-based approach to mathematics
ICIAM Statement on Mathematics and Artificial Intelligence
Recommendations of the Summit on PhD Math Education in the Age of AI
We’re gonna need a lot more mathematicians
Headlines and inside stories: understanding and trust in AI for mathematics, science, and engineering
Why I agreed to join AGMAI
Open problems, open mathematics
Announcing the Advisory Group on Mathematics and Artificial Intelligence
247A, Notes 1: Rearrangement-invariant spaces
Why Do We Need Human Mathematicians Anymore?
If math is more than proof, we need to better celebrate the rest of it
SAIR’s Open Math Model initiative
A CERN for AI-assisted science?
Why I didn’t sign the Fields medallists’ letter
Becoming a benchmark
SAIR competition – Lean Kernel Challenge
Proofs, Prompts and Posts
Let the Diners Into the Kitchen
Open letter from Fellows of the Royal Society on AI existential risk
Fast math/slow math
The technical debt of AI-generated mathematics
Why I do mathematical research
“Deep theorems were scarce and difficult and so became an effective mechanism to identify deep thought. AI has broken this system.”
Happy, those able to know the causes of things
Wimbledon, the U.S. Open, and the future of mathematics
After Math
Crowdsourcing a list of general resources on the purpose, value, and nature of mathematics
The status of the Hodge conjecture
On the Hodge conjecture
A Severe Misalignment of AI in Mathematics
On the existence of non-sofic groups
SAIR competition: Andrews-Curtis challenge
Stable singularity of the Euler equations on R^3
Crowdsourcing a list of general resources on AI and mathematics
Finite time blowup with smooth forcing term for the incompressible porous medium, Boussinesq, and incompressible Euler equations
Rotating needles in space: the road to the Kakeya conjecture, and why it matters
Mathematical Discourse
Quantitative bounds for sets lacking polynomial progressions with shifted prime difference
Palomar – a registry of Lean verified mathematics
A digestion of the proof of Sendov’s conjecture
A partial digestion of the HRT counterexample
A digestion of the Jacobian conjecture counterexample
Two more apps: visualizing the zeta process and the motions of the heavens
Visualizing the Gilbreath expectation sequence
Call for long programs, workshops, and summer schools at IPAM
A paper diagram visualizer
A random variable visualizer
Old and new apps, via modern coding agents
Gilbreath’s conjecture: a Cramér random model and a deterministic analysis
A digestion of unit distance constructions
Third SAIR competition: inverse Galois challenge
On the proposed rule changes to the administration of federal grants
Modular Arithmetic Challenge
Primitive sets and von Mangoldt chains: Erdős Problem #1196 and beyond
Products of consecutive integers with unusual anatomy
Mathematical methods and human thought in the age of AI
Local Bernstein theory, and lower bounds for Lebesgue constants
Mathematics Distillation Challenge – Equational Theories
SLMath Deputy Director Search
Six Math Essentials
IPAM industrial short course in generative AI algorithms – deadline for applications closing soon
A crowdsourced repository for optimization constants?
Rogers’ theorem on sieving
The integrated explicit analytic number theory network
Polynomial towers and inverse Gowers theory for bounded-exponent groups
The maximal length of the Erdős–Herzog–Piranian lemniscate in high degree
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
The story of Erdős problem #1026
Quantitative correlations and some problems on prime factors of consecutive integers
Growth rates of sequences governed by the squarefree properties of its translates
Call for industry sponsors for IPAM’s RIPS program
Climbing the cosmic distance ladder: another sample chapter
Sum-difference exponents for boundedly many slopes, and rational complexity
New Nikodym set constructions over finite fields
Mathematical exploration and discovery at scale
Smooth numbers and max-entropy
A crowdsourced project to link up erdosproblems.com to the OEIS
SLMath announces new research programs
Rough numbers between consecutive primes
Salem Prize now accepting nominations for 2025
Decomposing a factorial into large factors (second version)
On the number of exceptional intervals to the prime number theorem in short intervals
A Lean companion to “Analysis I”
Some variants of the periodic tiling conjecture
A tool to verify estimates, II: a flexible proof assistant