10 年级生用免费 Muse 带 agent 群 8 小时产出 3 篇数学预印本
EastConsequence3792 · reddit · 2026-10-11
一位 10 年级学生称用免费额度的 Muse 指挥一群 AI agent 攻击 P vs NP 相关问题，从提问到预印本总共 8 小时、成本 0 美元，产出 3 篇已挂 OSF 的预印本（计划自行改写后上传 arXiv）。
成果包括：
- 提出一个没人问过的公式奇偶叶子通信博弈问题，并证明它精确刻画该复杂度类（Lean 4 机器验证）；
- 一个横跨 43 亿个函数的塌缩定理，附两份独立 SAT 证明；
- 用纯搜索绘制布尔函数复杂度的精确地形图。
作者强调没解决 P vs NP，但「真实、新颖、经过验证」的研究一个高中生就能免费完成，靠的不是天才而是知道什么算结果、怎么验证。他随后抛出问题：当任何人都能指挥 agent 做研究，「研究者」的定义会变成提问与验证吗？他的 3 篇可验证论文与 OpenAI 一周 722 篇未验证论文的「slopocalypse」该如何区分？
（注：帖子部分由 AI 起草，作者称已改写；成果真实性待社区检验。）
「漫话AGI」频道最新
- 从业者呼吁右翼认真参与对齐：不在权重里才是更糟的 — abhiadesai · 2026-10-11
- 一针见血:所有 Agent 都默认用户有无限注意力 — msg · 2026-10-11
- 陶哲轩思想实验引热议:AI 的发现超出人类理解时该怎么办 — ZeroStateReflex · 2026-10-11
- 孩子对 AI 友善却遭家长斥责,一代人共情力受担忧 — repligate · 2026-10-11
- 「不能排除 AI 会难过」与「不能排除神存在」是同一论证吗 — rgblong · 2026-10-11
- AI 教父 Bengio 呼吁员工离开前沿 AI 公司：别再逼人类走向悬崖 — Just-Grocery-2229 · 2026-10-11