OpenAI 构造反例否证 Kaplansky 直接有限性猜想

OpenAI 在特征为 2 的群代数中构造出非直接有限的反例，直接否证 Kaplansky 直接有限性猜想。arXiv 论文 2611.08268 对该构造给出人类可读的阐述。作者进一步推广：对每个素数 p，都存在双曲群 G_p，使得 F_p[G_p] 非直接有限。这一结果将原构造扩展到任意素特征。