Person
David Spergel
Named in AI Lately's reporting below.
In the archive
Research
OpenAI Publishes Math Faster Than Humans Can Check
OpenAI's math archive hit 721 manuscripts while a Cambridge professor found a wrong number inside a proof that had already passed its own check.
Labor & Productivity
Mathematicians Trail OpenAI's 721 Math Proofs
OpenAI posed its model about 4,000 problems and published 721 manuscripts in weeks; Lean has formally checked 42 percent of them.