热点事件持续更新
Szegedy 回顾 2019 年 AI 数学与编程时间线
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
2026 年 10 月 2 日，AGI Hunt 报道，IBM 院士、AlphaProof 相关研究者 Christian Szegedy 翻出了自己 2019 年接受 Scale AI 创始人 Alexandr Wang 的访谈，内容涉及 AI 在数学与软件工程上的前景。他在那次访谈中聚焦自动定理证明与形式化推理，并提出想构建能够编写并验证复杂代码的「自动化软件工程师」。Szegedy 表示，当年这些观点与时间线被视为疯狂，如今正被验证。报道未给出更多关于该时间线具体内容或验证进展的细节。
AI 根据报道生成 · 3 小时前更新
最新进展10月2日 11:29
Szegedy 翻出 2019 年访谈，称当年被视为疯狂的 AI 数学与编程时间线正被验证。报道时间线
沿着报道，了解事件的不同侧面。
10月2日
- AGI HuntChristian Szegedy 翻出 2019 年访谈：当年被视为疯狂的 AI 数学与编程时间线
IBM 院士、AlphaProof 相关研究者 Christian Szegedy 翻出 2019 年接受 Scale AI 创始人 Alexandr Wang 的访谈，谈 AI 在数学与软件工程上的前景。他当时聚焦自动定理证明与形式化推理，并想构建能编写并验证复杂代码的「自动化软件工程师」。他称这些观点与时间线当年被视为疯狂，如今正被验证。
本事件热度走势
当前热度 9·可比范围峰值 10（10月2日 12:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。