AI 数学证明：跨学科综合能力强，窄领域仍难敌顶尖专才

AI 在数学证明中擅长综合单一专家无法全面掌握的知识，OpenAI 的数学证明可横跨多个数学分支，体现出模型在跨学科整合上的优势。即便如此，AI 在极窄细分领域仍很难击败世界顶尖专才，能力边界依然明显。