Event ·Official first-hand

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

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

Current read

OpenAI 用模型做出了数学上的反例构造,这篇论文还把这个结果推广到所有素数,数学向读者别错过。

6 sources57° AI heatLast updated 2026/11/5 16:40:14

Evidence

6 sources
Primary sourcearXiv: OpenAI
View source
Related source 1Stanford AI Lab
View source
Related source 3rohanpaul_ai
View source
Related source 4kimmonismus
View source

Conflict check

Dedup data only shows that these sources discuss the same event, not that they agree. There is no structured supporting or refuting evidence yet, so no conflict is inferred automatically.