Formalizing mathematics with AI

3 shows · Sep 30, 2026 to Oct 19, 2026 · 1 question published

Will AI systems' success at solving advanced mathematical and formal problems soon produce major practical breakthroughs in other scientific and technological fields?

Since early September, podcasters have debated whether AI systems that solve hard math will soon drive major breakthroughs in science and technology or stay mostly confined to math.

2 positions · 9 speakers · 80,000 Hours Podcast, All-In, Dwarkesh Podcast, Moonshots, The Diary Of A CEO · 8 unanswered