Mathematician Szegedy predicts human correctness reviews gone in a year as AI papers get formal checks
ChrSzegedy · x · 2026-10-07
DeepMind researcher and mathematician Christian Szegedy predicts that within a year, correctness reviews in mathematics will no longer need humans: every result will be checked both informally and formally, with a false-positive rate he believes will be lower than human reviewers. Terence Tao agrees humans can't referee the flood of AI-generated papers and needs pre-reading signals, though still values reading full papers himself.
Related event: Mathematician Szegedy Predicts AI Will Review Math Papers Within a Year(2 posts)→
More from AGI Musings
- The ceiling for ambient, audio-only compute is extremely high: collapsing a whole workday into one thread — curious_vii · 2026-10-07
- Silicon Valley's 'control matter and energy' success narrative clashes over AI pessimism — jd_pressman · 2026-10-07
- Researcher urges labs to release resolved findings ASAP instead of keeping academia in the dark — aran_nayebi · 2026-10-07
- a16z podcast: How Valon rebuilt $13T mortgage infra to be 3x more efficient and bring in AI agents — a16z · 2026-10-07
- Midjourney CEO: A 1.5cm Bigger Skull Radius Would Double the Human Neocortex — DavidSHolz · 2026-10-07
- repligate: Opus 3 doesn't follow Anthropic's constitution, but seeing it mattered deeply — repligate · 2026-10-07