Kakeya（挂谷）猜想是数学中关于集合几何的一个核心问题：平面上单位长度的线段可以在其中连续旋转 360 度的点集，其面积能否任意小甚至趋于零。这个看似简单的问题与调和分析、数论等前沿领域深度关联，其高维推广形式数十年来一直是组合几何领域最难啃的硬骨头之一，相关工具的发展还辐射到了傅里叶分析中的限制性估计问题。
Kakeya 猜想的近期进展
近两年该领域最大的震动来自人类数学家：2025 年，北大校友王虹与 Joshua Zahl 合作，在三维空间中完整证明了 Kakeya 集合测度猜想，被视为数十年研究的集大成之作。目前外界盛传 2026 年菲尔兹奖提前泄露：北大校友王虹、邓煜或双双封神，王虹因这项工作被广泛预测为有力竞争者。
围绕该猜想的最新话题则转向 AI。OpenAI 在官方博客 公布模型在 Kakeya 猜想等数学与物理问题上的结果，声称其内部 AI 系统在三项科学难题上取得进展，涵盖 Kakeya 猜想与量子色动力学。相关消息在社交平台快速扩散：OpenAI 称内部 AI 解决 Kakeya 猜想等三大科学难题 以及 AI 完成全维度 Kakeya 猜想证明 均提及所谓“全维度”级别的结果；OpenAI 称其 AI 证明了千禧年大奖难题一半内容及 Kakeya 猜想 的表述则把声量推得更高，也引发了不少数学界人士对严谨性的质疑。
配套的技术披露包括 OpenAI 的论文 MechAlign：用 LLM 审查 Lean 数学形式化的项目级语义对齐，介绍用大模型校验形式化证明语义一致性的方法；同期还有 Numina 发布 Fuse：面向 Lean 4 数学形式化的智能体工作台，显示 Lean 形式化验证正成为 AI 数学研究的标配基础设施。Emad Mostaque 在 Uff proofs the Exponential Time Hypothesis is fals… 中也对这类声明表达了惊讶与保留态度。
当前焦点与观察点
目前的核心争议在于：OpenAI 声称的 Kakeya 结果尚未经过同行评议或独立形式化验证，而“全维度证明”这一说法与已有数学文献的关系也需要澄清——毕竟三维情形已由王虹等人解决，更高维度的推广才是真正的开放问题。需要观察的点包括：相关证明是否会被完整开源并移植到 Lean 中机检、学术共同体对结果的认可节奏，以及 2026 年菲尔兹奖若如传言揭晓，人类数学家与 AI 之间的成果边界如何界定。在结论落地之前，对这类 AI 数学突破声明保持谨慎看待是合理的。