AI模型协助改进单词重叠问题并得到渐近精确界

上周，在一份漂亮的预印本中，Dmitrii Zakharov 证明了一个单词重叠问题的两族版本的界，但第一个版本留下了常数因子 e 的差距。这个差距很快被 GPT-5.2 Pro 和人类合作者的混合体改进了。更近一段时间，一个内部 OpenAI 模型得到了渐近精确的界。Dmitrii 将这个论证纳入了他的论文第二版。
https://arxiv.org/pdf/2602.20143；更多细节请参见他的 AI 声明。