Lauren Williams

Terence Tao's International Congress of Mathematicians 2026 lecture on Goodhart's law and verification bottlenecks in mathematics maps directly onto AI code generation, arguing that AI-scale proof gen…

Thirty mathematicians at Harvard blind-graded AI solutions to 10 original, unpublished research-level math problems, finding that leading AI systems passed on 7 of the 10 problems. The results, releas…