递归自改进能否从代码转向数学？OpenAI 700 个证明的循环设想

AGI Hunt 援引一则 Reddit 帖子提出，递归自改进（RSI）或许可从代码工程转向数学，利用 OpenAI 约 700 个证明成果形成训练、寻找推论并再次训练的闭环。该设想尚未经过实验或证据验证，属于对 RSI 路径的前瞻性讨论。