ChrSzegedy 翻出 2019 年访谈：当年被视为疯狂的 AI 数学与编程时间线
ChrSzegedy · x · 2026-10-02
IBM 院士、AlphaProof 相关研究者 Christian Szegedy 分享了 2019 年接受 Scale AI 创始人 Alexandr Wang 的访谈回忆，主题是 AI 在数学与软件工程上的前景。他当时聚焦自动定理证明与形式化推理，认为这是相对传统模式识别的下一个前沿，并表达了构建能编写并验证复杂代码的「自动化软件工程师」的野心。
他指出，这些观点——包括时间线——在当年被大多数人视为疯狂，言下之意是如今正在被验证。
「漫话AGI」频道最新
- 比尔·盖茨提议：机器人顶替人类岗位就应缴纳同等 FICA 税 — burkov · 2026-10-02
- AI 写作该不该被点名?数据可视化圈大佬下场论战 — Elijah_Meeks · 2026-10-02
- Alexis Gallagher 讽刺AI意识争论:哲学上幼稚的'启动'碾压人类 — alexisgallagher · 2026-10-02
- 新论文:LLM的'多声部'特性颠覆我们对'理解'的归因 — burny_tech · 2026-10-02
- AI意识争论:人们正在重新发现哲学家思考了几百年的悖论 — burny_tech · 2026-10-02
- 斯坦福公开课运行 6 年:2727 名志愿者,师生比稳定 1:10 — chrispiech · 2026-10-02