模型能写出人类看不懂的数学证明,RSI 还有多远?
ctjlewis · x · 2026-10-06
- 一条被广泛转发的讨论:有消息称人们至今仍在努力理解某个模型给出的 Navier–Stokes 强制例题究竟如何成立,即模型能产出复杂到人类难以看懂的数学证明。
- 引用者据此提出更大问题:如果模型已能生成人类无法验证的证明,这种能力会怎样转化为 AI 研发本身?通往递归自我改进(RSI)的距离到底还有多远?
- 核心观点是 AI 快速进展的影响尚未在学术界充分落地,值得认真对待。
「漫话AGI」频道最新
- FT 专栏作家：视频讲解看着很爽，真假却根本没法核实 — jburnmurdoch · 2026-10-06
- MIT 团队发布科学任务分类法:覆盖 232 子领域、20.8 万项任务 — JMateosGarcia · 2026-10-06
- 研究者联合撰文：描述 AI 智能体行为需要适度的拟人化 — raphaelmilliere · 2026-10-06
- 印度长假期景点爆满，疑似全民 ChatGPT 推荐同一批去处 — paraschopra · 2026-10-06
- AI 找材料 spectacular 结果遭质疑：学术声誉机制失效 — ludwigABAP · 2026-10-06
- arXiv 数论论文致谢 GPT5.6 与 DeepMind 内部智能体,解多道悬而未决难题 — felpix_ · 2026-10-06