OpenAI 数学证明遭人类专家接连质疑

OpenAI 与 Anthropic 曾声称推翻了 Connes 刚性猜想，但该成果正面临学术界质疑。堪萨斯大学学者发文反驳了 OpenAI 长达 3.7 万行的 Lean 证明。随后，又有数学研究者指出其关于“非 sofic 群存在性”的论文存在理论缺陷，核心证明错误地将 Kun 在 2019 年论文中的定理作为黑盒引用。Gary Marcus 也对此持续追问。

2026-08-04 ~ 2026-08-05 · 3 条相关

• Gary Marcus 追问 OpenAI 与 Anthropic 数学声称的实质反驳 — GaryMarcus · 2026-08-04
• 人类论文反驳 OpenAI 3.7 万行 Lean 数学证明 — 量子位 · 2026-08-04
• 数学家指 OpenAI 论文存在缺陷：核心证明引用了错误定理 — fkasummer · 2026-08-05