待验证50% 置信事实精确时间
王虹和Zahl的2025年证明同时解决了三维挂谷集猜想的Hausdorff维数和Minkowski维数版本
1
来源数
50%
置信度
长期有效
时效性
2026/10/11
首次发现
来源
涉及实体
相关事实
已验证2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例74% 相似待验证2019年Griffin、Ono、Rolen和Zagier发表工作将黎曼猜想与Jensen多项式的双曲性联系起来，证明对足够大的阶数与黎曼ξ函数相关的Jensen多项式具备双曲性70% 相似待验证Dyatlov和Zahl在2016年首先在超平面集（Ahlfors-David正则集）的情形下证明了分形不确定性原理（FUP）67% 相似待验证陶哲轩严格证明了平均化版本的三维Navier-Stokes方程的解会在有限时间内爆破67% 相似待验证2023年陶哲伦等顶级数学家已开始使用Lean来形式化重要定理66% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/997057API
curl https://kongchang.com/api/v1/knowledge/claims/997057MCP
get_claim(id=997057)