海外 OpenAI成立数学顾问组：AI已解逾百道开放难题 OpenAI宣布成立数学顾问小组，同时称其AI系统已解决超过100个开放数学问题。该小组仅提供建议，无权延缓或改变公司既有研究方向。这一安排凸显前沿实验室在数学推理竞赛中的速度优先策略，也让成果验证与外部监督问题再次成为焦点。 OpenAI AI数学推理 形式化验证 前沿模型 2026年9月22日 540
海外 Anthropic未发布模型挑战黎曼猜想，数学界震动 黎曼猜想困扰数学界超过150年，被视为数学最重大未解决问题之一。近日，Anthropic一款未公开发布的AI模型在该问题上取得意外进展，虽未完全证明，但已引数学界广泛关注。这一成果标志着AI在数学推理领域迈出重要一步，也让人们重新审视大型语 Anthropic 黎曼猜想 AI数学推理 人工智能 2026年8月12日 539
