知名学者用未解猜想测各家 AI：一致承认一般性证明仍是开放问题

lemire · x · 2026-08-19

知名计算机科学家 Daniel Lemire 提出一个来自其工作的猜想：对任意次数 L，GF(2) 上存在除 x^L 项外其余项次数均小于 floor(L/2) 的不可约多项式——这种形式能让 Barrett 归约特别便宜。借助 Arndt 的表，该猜想至少在 L ≤ 400 时成立。

他用这个猜想测试了多家 AI，结果各家都一致认为一般性证明仍是开放问题。相关背景见其论文《Strongly universal string hashing is fast》(The Computer Journal, 2014)。