概念Kakeya猜想 / Kakeya Conjecture
挂谷猜想
数学中关于挂谷集维数的猜想，断言在n维空间中每个方向上都包含单位线段的集合必须具有满维数n，是调和分析与几何测度论中的核心未解问题之一
时间轴 (近 90 天)
10月11日
OpenAI发布的编号074的两篇手稿分别声称证明了更强版本的三维挂谷极大函数猜想和四维挂谷猜想，共272页，作者署名仅为OpenAI
待验证50%
10月11日
挂谷猜想由日本数学家挂谷宗一于1917年提出，问在平面上让长度为1的针掉头转一圈最少需要多大面积
待验证50%
10月11日
Besicovitch证明挂谷集的面积可以任意小甚至为零，同时可在每个方向装下一根单位长的针
待验证50%
10月11日
平面情形挂谷猜想于1971年被Davies证明，三维由王虹和Joshua Zahl拿下，四维及以上此前无人证出
待验证50%
10月11日
OpenAI的074号成果只证明了四维Hausdorff维数版本，未解决四维极大函数猜想和五维及以上，且没有Lean形式化也未经同行评审
待验证50%
全部知识事实 (5)
待验证
挂谷猜想由日本数学家挂谷宗一于1917年提出，问在平面上让长度为1的针掉头转一圈最少需要多大面积
50%待验证Besicovitch证明挂谷集的面积可以任意小甚至为零，同时可在每个方向装下一根单位长的针
50%待验证平面情形挂谷猜想于1971年被Davies证明，三维由王虹和Joshua Zahl拿下，四维及以上此前无人证出
50%待验证OpenAI的074号成果只证明了四维Hausdorff维数版本，未解决四维极大函数猜想和五维及以上，且没有Lean形式化也未经同行评审
50%待验证OpenAI发布的编号074的两篇手稿分别声称证明了更强版本的三维挂谷极大函数猜想和四维挂谷猜想，共272页，作者署名仅为OpenAI
50%