数学推理

OpenAI 使用其 AI 模型在离散几何领域成功证伪了一个长期未被解决的核心猜想。这标志着 AI 在纯数学研究中的突破性应用——不仅辅助计算，更能直接推动理论发现。此举展示了前沿 AI 模型在数学推理上的巨大潜力，可能加速科研范式的变革。