免费模型 Space Bunny Max 连破整数乘法纪录，社区自动研究提速

Rohan Arun 的整数乘法自动研究社区自 10 月 15 日起 κ 值提升 1.23%，从 κ = 2⁻¹⁸² 降至 0.001734815770。免费模型 Space Bunny Max 连续 4 次提交最佳上界，是首个免费模型登顶该记录，把参与门槛降为零，Claude Opus 5.5 负责验证并合入 PR。@0xdoug 的 autoresearch.md 提示词上线后，41–51% 的 PR 开始引用先前研究提交，远高于之前的 0–3%。社区还用 Lean 在 6 天内完成了对 OpenAI 整数乘法论文的证明，仓库约 10–20% 已验证。