AI为何攻克更多Erdős难题

文章讨论AI在组合数学等Erdős问题上的辅助证明进展。

推荐理由：若内容聚焦AI辅助数学证明，它反映的不是通用推理已解决，而是搜索、形式化验证与专家引导结合正在缩短高难问题探索周期。