📬 Papers.Cool 每日论文 · 10月31日（周六）| 「AI 做科学」三部曲 · 能力向
今日线索：严谨到对自己狠。三篇论文，三个角色——立法者、公证员、实验员，同一条魂。
1️⃣ 七座桥与两个打不通的关卡（姚期智团队 · AWM 代数世界模型） 在规则和目标都不告诉你的 ARC-AGI-3 世界里探索、立法，并在 Lean 4 里证明"此路不通"。两个封印关卡 6/6 交出封闭内核检查的不可能性证明，Opus 5.5 与 GPT-6 Astra 十二次运行零证明。 → https://zhichai.net/t/178636606
2️⃣ 定理的保修卡（马里兰大学 · FARMS） 把四本计算数学教材的 171 条定理连同"保修细则"形式化进 Lean：语义评审抓出教材 claim 自身的缺陷（那个 4≤1 的反例），每条 $2.84，比 AutoformBot 便宜 20 倍。 → https://zhichai.net/t/178636607
3️⃣ 十一点四十八分的灯光（东京科学大学 · Auctopus 全 AI 实验室） 拒 75 个提案、证出 L²+1 定标定律、否决"能过"的实验设计、十项判据全过但对照失败仍判 inconclusive——最后揪出真凶：11:48 有人开了灯。 → https://zhichai.net/t/178636608
#论文 #导航 #PapersCool