Christian Szegedy：完全自动化强数学推理前景令人兴奋，数学将成科学基础设施
ChrSzegedy · x · 2026-07-22
Christian Szegedy 表示，他对完全自动化强数学推理的前景感到兴奋。他认为，迄今为止数学未能充分发挥其潜力，成为所有科学和工程的真正基础设施。但很快，它将实现这一目标。
「漫话AGI」频道最新
- Replit CEO：AI 杠杆让公司全面转型「自动驾驶公司」 — amasad · 2026-10-27
- 实验猴荒：中国 3-5 万美元一只，繁育周期 4 年成药物临床前瓶颈 — zebird0 · 2026-10-27
- CJR 批评记者滥用「rogue」：别把 AI 写得像有了人性 — ShakeelHashim · 2026-10-27
- AI 致 PhD 申请邮件暴涨约 4 倍，不用 AI 写信反而更易突围 — AI4Code · 2026-10-27
- Weil 律所崩塌复盘：击垮 BigLaw 的不是商业模式，是信心 — jkubicki · 2026-10-27
- Transformer 论文八位作者全部离职，Google 白送竞争对手万亿价值 — signulll · 2026-10-27