Would top math departments hire a student who solved three hard problems with ChatGPT?
damekdavis · x · 2026-07-23
A hypothetical asks whether a graduate student who solved three problems on the level of the Erdős unit distance conjecture — using only simple ChatGPT prompting — would get hired by a top math department.
The post is really about what AI-assisted proof discovery would mean for academic hiring, not about a specific model release.
More from AGI Musings
- Gary Marcus says LLMs still offer no enduring advantage, only a costly leapfrog race — GaryMarcus · 2026-07-23
- Gary Marcus bets $1M that AI in 2027 won’t beat Nobel-level scientists — GaryMarcus · 2026-07-23
- UC Berkeley releases David Chalmers’s lecture on philosophy and AI — round · 2026-07-23
- Compression is not information loss, but a test of prediction—and a path to AGI — yunta_tsai · 2026-07-23
- Why AI agents may optimize harder than humans, according to Paras Chopra — paraschopra · 2026-07-23
- Nathan Lambert says the US is falling behind China on open models — natolambert · 2026-07-23