数学家自述:从质疑到乐观,AI 正在攻克我的「北极星」难题
kevinakwok · x · 2026-10-12
数学家 Noah Gian 细数 AI 冲击数学界的心路历程:
- Unit Distance 猜想被解决时,他不以为然:只是一道受益于重度计算方法的组合问题。
- Navier-Stokes 相关进展公布时,他深感不安:问题重大但代价是数百万美元的算力,远超普通数学家的预算,且难以判断这预示着什么。
- 最近近 400 道问题被 AI 攻克时——其中包括他多年用于基金申请、当研究「北极星」的题目——他出乎意料地感到释然与乐观:不确定性带来的焦虑转化为明确的信号。
转发者 brad neuberg 称之为「Meta Kolmogorov 时刻」,对人机协作的数学探索持乐观态度。
所属事件:AI 破解近 400 道数学难题,数学家心态从质疑转向乐观(2 条相关)→
「漫话AGI」频道最新
- shadcn:软件重心正迁移到「意图」层,构建产品要围绕它 — shadcn · 2026-10-12
- Garicano 新论文:AI 正让企业减少依赖外部专家 — JMateosGarcia · 2026-10-12
- 边看 Netflix 边骂数据中心,反 AI 人士被讽双标 — gnukeith · 2026-10-12
- Vitalik 发布科幻小说 Snowmoon,用「协调商数」构想未来地缘与技术 — devanshmehta · 2026-10-12
- Gartner 预测 2027 年 40% 智能体 AI 项目将被砍,ROI 账先过期 — Suspicious_Orchid770 · 2026-10-12
- 研究者感叹:如今普通一周的科研进展胜过过去十年 — Dr_Singularity · 2026-10-12