Christian Szegedy 翻出 2019 年访谈：当年被视为疯狂的 AI 数学与编程时间线

IBM 院士、AlphaProof 相关研究者 Christian Szegedy 翻出 2019 年接受 Scale AI 创始人 Alexandr Wang 的访谈，谈 AI 在数学与软件工程上的前景。他当时聚焦自动定理证明与形式化推理，并想构建能编写并验证复杂代码的「自动化软件工程师」。他称这些观点与时间线当年被视为疯狂，如今正被验证。