OpenAI预告下一代大模型Astra 已攻克十道数学难题

很多朋友不知道【OpenAI预告下一代大模型Astra 已攻克十道数学难题】，今天小绿就为大家解答一下。

　　在研究流程上，人类研究人员利用Astra模型构建论证思路并撰写手稿，随后Astra将每一个论证形式化为Lean证书，使证明过程能够通过数学验证系统进行检验。这种"人机协作"模式展示了Astra在处理需要长期推理和严格验证的复杂任务方面的能力。

　　OpenAI的研究涵盖了多个高深的数学领域，包括高维几何、编码理论、算术电路复杂性、群论、量子复杂性、格密码学和极值组合学等。具体成果涉及非sofic群的存在性证明、对Connes刚性猜想的否证、高维球体堆积的新边界，以及解决了数学家Paul Erds提出的多个问题。OpenAI指出，使用其Sol API按token计费，解决这些问题的总成本约为2000美元。

　　据The Information独立确认，OpenAI确实正在开发Astra，这是一个专为长时运行工作负载设计的新模型家族。Astra的核心特性在于支持AI智能体在更大问题的不同部分上进行协作，这意味着它不仅能够完成单一任务，还能协调多个智能体分工合作，共同攻克复杂度极高的学术难题。

版权所有，未经许可不得转载

　　关于Astra的最终命名，OpenAI尚未做出决定。该模型可能以GPT-5.7、GPT-6或其他名称发布。有分析指出，Astra作为一次重大突破性模型，其发布策略可能参考Anthropic的做法：向普通消费者提供一个版本，而功能更强大的变体则需要经过特殊审批才能访问。

　　【CNMO科技消息】OpenAI近日发布研究文章，正式披露了代号为Astra的下一代大模型。据OpenAI介绍，Astra被定位为"我们的下一个主要模型"，其内部版本已在数学和理论计算机科学领域取得十项重大进展，所解决的问题在过去至少十年内未有实质性突破，部分难题甚至困扰学界更长时间。

OpenAI

以上问题已经回答了。如果你想了解更多，请关新经网网站 (https://www.xinhuatone.com/)