2030菲尔兹奖会有人类借助AI拿到
danshipper · x · 2026-07-20
作者认为形式化数学最近的进展非常令人振奋，并且非常确信 2030 年菲尔兹奖仍会由人类获得——只是这个人类“显然会把 AI 当作工具来用”。
这条更像是在做一个关于 AI 影响高端数学研究的判断：未来拿奖的仍是人类，但真正推动突破的过程里，AI 会越来越成为底层工具。
「漫话AGI」频道最新
- 大模型商业模式演进：从卖 Token 到卖结果 — yacineMTB · 2026-07-22
- Bindu Reddy 称 GPT-6 قريب在即，阿里 DeepSeek Kimi 也将跟进 — bindureddy · 2026-07-22
- Bindu Reddy 认为行业还不会训练 20T 级模型并规模化后训练 — bindureddy · 2026-07-22
- 教授提醒：最先进的大模型正变得无法相互替代 — emollick · 2026-07-22
- AI 提了更好的构图，反而让用户感到不安 — Sydde · 2026-07-22
- AI 发展的瓶颈：从互联网数据红利到高质量反馈闭环 — dyamins · 2026-07-22