数学界人士感慨:前沿实验室本可联手庆贺人机共进数学
soumitrashukla9 · x · 2026-09-09
转发链中,数学家 skominers 表示,AI 在数学上取得进展之时,本应是所有前沿实验室与数学界共同庆祝「人类与 AI 携手推进数学」的绝佳时刻,也应肯定多种 AI 模型组成联盟带来的价值。roelofvandijk 则引用调侃:我们本可以一觉醒来看到「OpenAI 和 Anthropic 联手干净地形式化解决 Navier-Stokes,还附上陶哲轩的解释」,可惜世界还没运作到那一步。
所属事件:数学界感慨：前沿 AI 实验室本可联手形式化解决 Navier-Stokes(2 条相关)→
「漫话AGI」频道最新
- 未来不可想象：AI 不能「沉思」，好目标只能靠人从探索数据中发现 — sebkrier · 2026-09-09
- RL 中的局部坏行为不会泛化出「涌现性错位」 — 1a3orn · 2026-09-09
- 算算你的 AI 曝光度:打开日历,逐项标记 AI 能做 80% 的工作 — ravikantagrawal · 2026-09-09
- 「AI 偷走了美的惊喜」:一条吐槽 AI 侵蚀创作乐趣的热推引热议 — AIandDesign · 2026-09-09
- Gary Marcus 断言：真正的能力在 harness 而非模型，企业 beware 黑箱 — GaryMarcus · 2026-09-09
- 重读 Frank Shu 1982 年天文学教材，其对 AI 的预言至今精准 — kylekabasares · 2026-09-09