Scott Aaronson: grad students scared after OpenAI's release of 370 math proofs

rohanpaul_ai · x · 2026-11-14

UT Austin computer scientist Scott Aaronson says graduate students are scared after OpenAI's release of 370 math proofs — they don't know how to build a research career when AI can solve the very problems they'd train on.

Full video available on the "MTS" YouTube channel.

Original post →

More from AGI Musings

AGI Musings channel →