4小时前OpenAI新模型Astra以低成本破解数学难题截至8月3日，OpenAI确认下一代模型家族“Astra”存在：一版内部模型以约2000美元算力成本，一次性攻克数学与理论计算机科学领域10项长期未解难题。这些成果附带249页技术论文、62页推理说明及 Lean 4 形式化证明，并已在华盛顿向美国政策制定者作闭门演示，预计将成为即将落地的联邦前沿模型审查框架首批测试案例之一。Astra主打多智能体长周期协同能力，被视为OpenAI迈向通用人工智能（AGI）的关键节点，也引发数学界与监管层对“AI能否成为创造性科学家”的新一轮争论。12 来源Astra曝光：一次性以约2000美元算力攻克十项数学难题7 来源技术架构与能力：多智能体长周期协同推理11 来源监管与政策：Astra成联邦前沿模型审查“试金石”8 来源数学界与产业影响：从菲尔兹奖级难题到AGI新阶段10 来源本内容由AI生成