递归自改进能否从代码转向数学?OpenAI 700 个证明的循环设想
MrSnowden · reddit · 2026-10-29
Reddit 帖子提出一个开放性问题:递归自改进(RSI)的讨论多聚焦软件工程和 AGI 路径,但数学可能更适合形成自改进闭环——数学体系层层自洽构建,近期模型在数学证明上进展迅猛(如 OpenAI 的约 700 个证明成果)。作者设想把这些证明喂回训练语料,让模型「寻找下一个推论」,再循环迭代。帖子未给出实验或证据,属于对 RSI 路径的前瞻性讨论。
「漫话AGI」频道最新
- 别对孩子说「AI 让编程没用了」，那是在扼杀好奇心 — kingslyj · 2026-10-29
- 7.2 万次图灵测试：现代 AI 扮人类几可乱真，AI 裁判识人反超人类 — hpfister · 2026-10-29
- 本地个人 AI vs 云端数据中心：能耗与隐私怎么权衡？ — TemperatureEntire349 · 2026-10-29
- ACM CHI 拒稿作者力挺严格 desk rejection:AI 时代注意力有限 — manoelribeiro · 2026-10-29
- 法国网友吐槽：媒体仍在邀请争议人物谈 AI，准确性让位流量 — IgorCarron · 2026-10-29
- 微软向约 6 万员工（占 27%）提供自愿离职，押注 AI 提效 — Exponential View (Azeem Azhar) · 2026-10-29