少年用 AI+Lean 一周解决数学团队多年难题，写出 15 页论文
IgorCarron · x · 2026-10-18
法国网友 @DrGomi 分享：其儿子借助 AI 在一周内解决了一个据称 5 名数学家和博士研究生已研究多年的问题，部分证明用 Lean 形式化验证，已写成 15 页论文。
他说这只是「随便试试」，不确定论文该怎么处理，也不想让相关研究者受打击，并感慨「别人未必会有这份克制」。Igor Carron 转发评论「And they fall…」，暗示 AI 冲击数学研究的时代信号。
「漫话AGI」频道最新
- AI 科学家自动化陷阱论文跻身 PNAS 上周最热榜 — Dr_Atoosa · 2026-10-18
- Fleuret:AI 时代剩下的唯一自由是亲自做次优决定 — francoisfleuret · 2026-10-18
- 极客热议：痴迷自动化的AI圈为何对替代初级技能忧心忡忡 — Aryvyo · 2026-10-18
- Tim Dettmers:80% 学生怕毕业即失业,但学术界将迎复兴 — code_star · 2026-10-18
- 新预印本颠覆意识神经结构旧论：意识是动态之流而非静态之物 — AnnaCiaunica · 2026-10-18
- 已有21人植入 Neuralink:意念打游戏、机械臂吃零食成现实 — Aiden_Tech_Ai · 2026-10-18