Auto Research：整数乘法突破 n log n
Auto Research: Integer multiplication below n log n
Auto Research 项目正在追踪整数乘法算法的最新突破，目标是将计算复杂度降至 n log n 以下。通过整合 Codex 和 Claude Code 等 AI 工具，研究人员在 GitHub 上持续提交 Pull requests，推动理论边界。OpenAI 的预印本为这一进程提供了基础，而 Lean 的 kernel 则负责验证关键步骤。项目不仅记录了算法的演进，还展示了 AI 辅助科研如何加速数学发现。从贡献者排行榜到工具使用统计，每一个数据点都揭示了这场技术竞赛的激烈程度。
这些是 AI 辅助的研究草稿，大多数改进都依赖于原始预印本中的引理。