Christian Szegedy revisits 2019 interview: his 'crazy' timelines for AI math and code
ChrSzegedy · x · 2026-10-02
Christian Szegedy shared a 2019 interview with Alexandr Wang on AI for math and software engineering, ideas and timelines he says most people considered crazy at the time.
The interview covered his focus on automated theorem proving and formal reasoning as the next frontier beyond pattern recognition, and his ambition to build an automated software engineer capable of writing and verifying complex code—goals now looking increasingly prescient.
More from AGI Musings
- Full video: Shane Legg says remote cognitive jobs most exposed to AI automation — rohanpaul_ai · 2026-10-02
- DeepMind's Shane Legg: All remote cognitive jobs are most exposed to AI automation — rohanpaul_ai · 2026-10-02
- Elijah Meeks: calling out bad AI writing is fair, whatever the tool — Elijah_Meeks · 2026-10-02
- Alexis Gallagher Mocks AI Consciousness Debate With Orwellian Jibe — alexisgallagher · 2026-10-02
- New Paper: LLM 'Polyphony' Breaks Our Usual Inferences About Understanding — burny_tech · 2026-10-02
- AI Consciousness Debate: People Are Rediscovering Centuries-Old Philosophical Paradoxes — burny_tech · 2026-10-02