模型产出人类难懂的证明，通往 RSI 还有多远

2026 年 10 月 6 日，AGI Hunt 发布报道与讨论，指出模型已能产出复杂到人类难以看懂的数学证明，其中某模型针对 Navier–Stokes 相关强制例题给出的证明至今仍令人难以理解。相关讨论据此追问：这种能力会如何转化为 AI 研发本身，距离递归自我改进（RSI）还有多远。报道提出的核心观点是，AI 快速进展所带来的影响尚未在学术界充分落地，因此值得认真对待。报道并未给出模型能力已转化为 RSI 的结论，也未给出时间表，而是把“人类看不懂的证明”作为观察 AI 进展与 RSI 距离的一个切入点。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。