Tag: math

All the articles with the tag "math".

• The Riemann hypothesis, Navier-Stokes, and what just happened

  Published:Oct 21, 2026 |  at 02:45 AM

  What AI labs claimed near the Riemann hypothesis and the Navier-Stokes problem between August and October 2026, what has actually been checked, and why my old search-versus-proof framing did not survive.

• Can a model do math it doesn't understand?

  Published:Jul 9, 2026 |  at 02:50 AM

  Searle's Chinese Room restated for machine-written proofs, what interpretability says models actually do when they add, and why I think 'can it tell when it's wrong' is a better question than 'does it understand'.

• FrontierMath, Erdős problems, and what "AI solved it" means

  Published:Jun 17, 2026 |  at 03:10 AM

  How FrontierMath and the Erdős problems episodes show that 'AI solved it' can mean four different things, and why I only want the phrase used for one of them.

• Lean, formalization, and why proof-checking changes the game more than proof-finding

  Published:May 21, 2026 |  at 02:45 AM

  What Lean and Mathlib are, what four big formalization projects actually showed, and why I think a proof checker matters more for AI math than any proof-finding result.