MIT 春季到秋季:AI 从解不出开放题到拿下千禧年难题
FlorianGallwitz · x · 2026-09-09
作者对比了短短半年内的变化:MIT 春季学期开始时,AI 还无法有意义地解决开放数学问题;到秋季学期开始的今天,AI 已据称解决了千禧年大奖难题(即 Navier-Stokes 问题)。作者认为这种变化速度足以配得上「数学奇点」的称号。
所属事件:AI 半年跃迁：从 IMO 金牌到冲击千禧年难题(5 条相关)→
「漫话AGI」频道最新
- Navier-Stokes 证明风波预示经济正变成一场量化知识竞赛 — IgorCarron · 2026-09-09
- 首批实验室证据：扩大 Agent 群体规模也能提升性能，或是新的 scaling law — Afinetheorem · 2026-09-09
- 突破常源于工程约束，纯理论派科学家最难接受这一点 — generativist · 2026-09-09
- 突破常源于工程约束，令纯理论派科学家沮丧 — generativist · 2026-09-09
- Vercel CEO 断言：Chat 已赢，未来一切是聊天加计算机 — edgarpavlovsky · 2026-09-09
- 木头姐：1800年代两百家铁路破产，AI 基建潮不会重演 — CathieDWood · 2026-09-09