AI's ability to discover new mathematical concepts highlights its potential in advancing fields like mathematics, which could lead to groundbreaking discoveries.
The idea of using AlphaGo-style reinforcement learning on Lean syntax trees suggests a promising direction for AI's capability to tackle complex mathematical problems over longer timescales.
Concerns
The comment about AI winning a Fields Medal before managing a McDonald's reflects skepticism about AI's practical applications in everyday tasks, indicating a gap between theoretical and practical capabilities.