Jerry Liu(@jerryjliu0)· Jerry Liu (@jerryjliu0)·· 4 小时前AI 评估 · 38/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
Jerry Liu：免费模型 Space Bunny Max 连续四次刷新整数乘法最优界
my guy is running gradient descent on math
AI 导读
免费模型 Space Bunny Max 首次为整数乘法提交最优界，并连续四次刷新纪录，Claude Opus 5.5 协助验证并推进 PR。社区对 OpenAI 整数乘法原始论文的 Lean 证明已在 6 天内完成，@0xdoug 的仓库约 10–20% 通过验证。提及此前仅研究性提交的 PR 占比从 0–3% 升至 41–51%。
来源：Jerry Liu(@jerryjliu0) · x.com