OpenAI宣称攻克数学难题引发学界争议

封面为AI生成的主题示意图，非新闻现场照片。

近日，人工智能领域巨头 OpenAI 宣布其模型在解决高难度数学问题上取得突破性进展，引发了学术界的广泛关注和讨论。这一声明称其新系统能够处理包括证明长期悬而未决猜想在内的复杂逻辑推理任务，标志着 AI 从模式识别向深度认知能力的演进。然而，数学界部分专家对此提出质疑，认为仅凭生成式输出尚不足以验证其结论的正确性，必须经过同行评审和形式化验证。OpenAI 强调未来将开放模型代码与推导过程供全球研究人员审查，以增强结果的可信度和可复现性。业界普遍关注这一发展对数学研究范式的潜在影响，尤其是对传统人类数学家角色的重新定义。随着通用人工智能能力边界不断拓展，如何平衡技术突破与学术严谨性将成为关键议题。