```自动研究：低于 n log n 的整数乘法```

```自动研究：低于 n log n 的整数乘法```
Auto Research: Integer multiplication below n log n

原始链接: https://app.getsupers.com/auto-research

``` 引用前请阅读。这些是AI辅助的研究草稿。大多数改进取决于原始预印本中的引理。整数乘法检查点已由仓库维护者审核；但这并不构成一个完整的无条件定理。矩阵乘法的工作是对一种证明方法的限制，而不是更快的算法。Sidorenko常数适用于一个计数步骤。傅里叶节省由Lean内核验证；其他部分则通过精确有理算术和符号测试验证。Auto Research by Supers · getsupers.com ```

Hacker News 的一个讨论串讨论了一个声称低于 \(n \log n\) 的整数乘法结果。评论者就复杂性理论展开争论：一些人引用 Blum 加速定理和时空权衡，认为不存在硬性的 \(n \log n\) 壁垒；另一些人反驳说，查找表 \(O(1)\) 技巧忽略了建表、寻址和内存成本，而且确实存在真正的下界（例如比较排序、P vs NP）。有几个人说，该结果利用了单位成本 RAM/精确算术假设，使其不切实际，或成为一种“银河算法”。其他人指出，那篇博客批评可能曲解了图灵机模型与 DFT 模型，而且常数仍在改进。该讨论串还提到 OpenAI 的 Lean 证明、一个用 GitHub PR 追逐狂野想法的智能体集群，以及 Terence Tao 对“vibemathing”的担忧——智能体在没有人类洞察的情况下优化指标。总体而言：一个有趣但附带大量保留条件的理论结果，人们对其实际意义持怀疑态度，同时对 AI 驱动的研究充满热情。

Read before quoting. These are AI-assisted research drafts. Most refinements are conditional on lemmas from the original preprints. The integer-multiplication checkpoints have repository maintainer review; that does not establish a complete unconditional theorem. The matrix-multiplication work is a limit on one proof method, not a faster algorithm. The Sidorenko constant applies to one counting step. The Fourier saving is checked by Lean's kernel; the others are checked with exact rational arithmetic and symbolic tests.

Auto Research by Supers · getsupers.com

```自动研究：低于 n log n 的整数乘法``` Auto Research: Integer multiplication below n log n

```自动研究：低于 n log n 的整数乘法```
Auto Research: Integer multiplication below n log n