Scott Aaronson: Grad students are scared after OpenAI's 370 math proofs
rohanpaul_ai · x · 2026-10-18
UT Austin computer scientist Scott Aaronson says grad students are scared after OpenAI's release of 370 math proofs — they no longer know how to build a career when AI can solve the very problems they'd train on. Full discussion is on the "MTS" YouTube channel.
More from AGI Musings
- Exhaustive list of where I learn things: books and podcasts account for less than 1% — gabriel1 · 2026-10-18
- Asking Claude Opus what it really thinks consciousness is — Dr_Singularity · 2026-10-18
- eigenrobot pens a faux-Montaigne essay skewering an English philosopher's rationalist hubris — eigenrobot · 2026-10-18
- Neuroscientist Giorgio Gilestro: Brain Analogies Mislead on LLM Architecture — solyarisoftware · 2026-10-18
- "I'd be okay if AI stopped at Opus 5.5" — user voices contentment — fekdaoui · 2026-10-18
- Meta scales back AI agent plans as firms drown in cleanup work and AI slop — marigo · 2026-10-18