模型能写出人类看不懂的数学证明，通往 RSI 还有多远？

模型已能产出复杂到人类难以看懂的数学证明：某模型对 Navier–Stokes 强制例题的证明至今仍令人难以理解。相关讨论据此追问，这种能力会如何转化为 AI 研发本身，距离递归自我改进（RSI）还有多远。核心观点是 AI 快速进展的影响尚未在学术界充分落地，值得认真对待。