OpenAI's Math Proofs Rival Human Fields Medal Work
Source: Kottke
OpenAI has generated over 350 formal mathematical proofs that researchers say would merit a Fields Medal if authored by a human. The proofs appear in formal verification systems (like Lean), meaning they're machine-checkable rather than merely plausible. This sidesteps the usual skepticism about whether AI is remixing training data or reasoning. Mathematics is the domain where humans have claimed the clearest edge in abstract reasoning. If machines are now producing publishable original work at the highest levels, it reframes what "intelligence" means and raises questions about human expertise hierarchies and the economics of knowledge work.