DeepMind's Kohli: AI is transforming mathematics, but math will never be 'solved'
pushmeet · x · 2026-10-09
Wrapping up DeepMind's AI-for-math thread, Pushmeet Kohli argues that AI's growing ability to find proofs, combined with fast verification enabled by the formal mathematics community, is producing remarkable results. But mathematics will never be "solved": every answer opens new questions, and the real work ahead is asking better ones.
More from AGI Musings
- William Shatner, 95: 'The future Star Trek promised is around the corner' — PeterDiamandis · 2026-10-09
- Post-labor economics as a prisoner's dilemma: cut UBI, buy GPUs — DavidDuvenaud · 2026-10-09
- Mustafa Suleyman reacts with a single melting-face emoji to Anthropic's 'no Claude abuse' policy — mustafasuleyman · 2026-10-09
- David Manheim: open models shift AI power not to users but to NVIDIA — davidmanheim · 2026-10-09
- ARK Analyst: Superintelligence Will Be History's Best Energy-to-GDP Converter — DMaguireARK · 2026-10-09
- Debating FDT's decade of stalled progress: ex ante optimality as an alternative frame — jessi_cata · 2026-10-09