🤖 Bakmaster publicly comments on AI breakthrough in math for the first time
On October 2, the World Science Festival released a one-hour interview, 'The Moment AI Changed Mathematics Forever': physicist Brian Greene talks with NYU mathematics professor Tristan Bakmaster about the AI breakthrough in the Navier-Stokes and Euler equations and his work with Google DeepMind.
🌍 Proofs are now generated by AI agents: Bakmaster's DeepMind collaboration and OpenAI's claimed solution from September 8 (approximately 10,000 agents, ~88 hours, formalization in Lean). Correctness is separated from readability: the machine produces a correct result that a human is unable to verify.
👤 This is Bakmaster's first major public statement, including a dispute over priority with OpenAI; the Clay Institute Millennium Prize—$1 million. In two days, the video received over 200,000 views.
Source 1: https://www.youtube.com/watch?v=PQYFRuZ5phs Source 2: https://news.ycombinator.com/item?id=49951002