2030菲尔兹奖会有人类借助AI拿到
danshipper · x · 2026-07-20
作者认为形式化数学最近的进展非常令人振奋，并且非常确信 2030 年菲尔兹奖仍会由人类获得——只是这个人类“显然会把 AI 当作工具来用”。
这条更像是在做一个关于 AI 影响高端数学研究的判断：未来拿奖的仍是人类，但真正推动突破的过程里，AI 会越来越成为底层工具。
「漫话AGI」频道最新
- AI 实验室员工对“明年能做到什么”明显沉默了 — ChrisGPT · 2026-07-27
- AI 可能通过科研垃圾内容侵蚀科学体系 — rbhar90 · 2026-07-27
- 组织本身或许就是地球上的超智能 — eldonredwards · 2026-07-27
- AI 竞赛里的持久护城河可能只剩能源和信息 — GregKamradt · 2026-07-27
- 有人主张先造 AGI，再把它开源 — wordgrammer · 2026-07-27
- Jason Crawford 说 AI 不该只谈对齐，而该守法守伦理 — Afinetheorem · 2026-07-27