OpenAI预告下一代大模型Astra 已攻克十道数学难题
OpenAI近日发布研究文章，正式披露了代号为Astra的下一代大模型。据OpenAI介绍，Astra被定位为"我们的下一个主要模型"，其内部版本已在数学和理论计算机科学领域取得十项重大进展，所解决的问题在过去至少十年内未有实质性突破，部分难题甚至困扰学界更长时间。
OpenAI
OpenAI的研究涵盖了多个高深的数学领域，包括高维几何、编码理论、算术电路复杂性、群论、量子复杂性、格密码学和极值组合学等。具体成果涉及非sofic群的存在性证明、对Connes刚性猜想的否证、高维球体堆积的新边界，以及解决了数学家Paul Erds提出的多个问题。OpenAI指出，使用其Sol API按token计费，解决这些问题的总成本约为2000美元。
在研究流程上，人类研究人员利用Astra模型构建论证思路并撰写手稿，随后Astra将每一个论证形式化为Lean证书，使证明过程能够通过数学验证系统进行检验。这种"人机协作"模式展示了Astra在处理需要长期推理和严格验证的复杂任务方面的能力。
据The Information独立确认，OpenAI确实正在开发Astra，这是一个专为长时运行工作负载设计的新模型家族。Astra的核心特性在于支持AI智能体在更大问题的不同部分上进行协作，这意味着它不仅能够完成单一任务，还能协调多个智能体分工合作，共同攻克复杂度极高的学术难题。
关于Astra的最终命名，OpenAI尚未做出决定。该模型可能以GPT-5.7、GPT-6或其他名称发布。有分析指出，Astra作为一次重大突破性模型，其发布策略可能参考Anthropic的做法：向普通消费者提供一个版本，而功能更强大的变体则需要经过特殊审批才能访问。
相关资讯
-
09.16
云顶之弈s9弗雷尔卓德城邦效果介绍
-
09.16
imovie如何添加音频文件
-
09.16
纵横修仙界内测时间揭晓 纵横修仙界最新内测开启日期与参与方式
-
09.16
元力音乐app如何导入音源
-
09.16
三国天下归心双动召唤阵角色技能详解 三国天下归心双动召唤阵地队搭配与实战攻略
-
09.16
王者荣耀世界虞姬 王者荣耀世界虞姬角色强度分析与实战技巧
游戏推荐
推荐专题
热门阅读
-
- 迷信多Agent，结果可能比单Agent更蠢
- 08.03
-
- 2亿枚AI芯片大爆发，人类最大基建集体开工！
- 08.03
-
-
-
- 震惊！谷歌竟早一年造出ChatGPT，但没敢发
- 08.03
-
推荐下载
-
-
下载
- |
-
-
下载
- 《行尸走肉第一章》免安装中文汉化硬盘版下载
- 单机|436 MB
- 一款以动作冒险为主题的游戏
-
-
下载
- 《街头霸王X铁拳》免安装中文汉化硬盘版下载
- 单机|111MB
- 一款非常好玩的格斗游戏
-
-
下载
- |
-
-
下载
- 《暗黑破坏神3》免安装繁体中文正式版下载
- 单机|7630 MB
- 一款以角色扮演为主题的游戏
-
-
下载
- 《马克思佩恩3》免安装硬盘版下载
- 单机|27033 MB
- 一款以第三人称射击为主题的游戏