搜索 AI 资讯

AI在数学证明领域取得系列突破：从单位距离猜想反例到纳维-斯托克斯方程证明

2026年5月至9月，OpenAI与Anthropic等机构报告了多项AI驱动的数学突破，包括推翻厄多斯单位距离猜想、完成圈双覆盖定理证明、推进黎曼假设界估计及给出纳维-斯托克斯方程新证明；文章提出一种非数值化的概念框架解释其能力边界，强调AI在高成本、低梯度的穷举类问题中具备独特优势，但所有成果均未经独立验证或同行评议。