社区用免费模型刷新整数乘法上界纪录

2026年10月18日，Jerry Liu 在社交平台称，免费模型 Space Bunny Max 首次为整数乘法提交最优界，并连续四次刷新纪录，Claude Opus 5.5 协助验证并推进 PR。同一报道提到，社区对 OpenAI 整数乘法原始论文的 Lean 证明已在 6 天内完成，@0xdoug 的仓库约 10–20% 通过验证；此前仅研究性提交的 PR 占比从 0–3% 升至 41–51%。上述数字与进展均来自该条报道，暂无其他来源交叉印证。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。