AnalysisScienceOctober 20, 2026

Podcast: Scott Aaronson on AI proofs and mathematicians' role

Read original source →youtube.com

Scott Aaronson discusses the debate over AI-generated mathematics and what human mathematicians do if AI can prove theorems. He covers controversy around recent AI results and responses from mathematicians including Terry Tao.

People · Scott Aaronson, Terence Tao

1 source

More stories today

Open the live feed