AIが数学の証明分野で一連の画期的な成果を挙げている：単位距離予想の反例からナヴィエ–ストークス方程式の証明まで
2026年5月から9月にかけて、OpenAIやAnthropicなどの機関は、エルドシュ単位距離予想の反証、輪の二重被覆定理の証明の完成、リーマン仮説の境界推定の進展、ならびにナヴィエ–ストークス方程式の新たな証明など、複数のAI主導の数学的成果を報告した。また、これらの成果について、非数値的な概念枠組みを用いてその能力の限界を解釈する手法を提案し、AIが高コストで勾配が小さい探索系の問題において特有の優位性を持つことを強調したが、いずれの成果も独立した検証や査読を経ていない。