2. Linux.do
  3. GPT下一代模型为Astra

GPT下一代模型为Astra

寂冰 2026-08-01 23:00 1

OpenAI刚刚爆出了他们的下一代模型：“Astra”！


Astra，译为星辰，比Sol更强的模型！


它一口气推进了10道至少十年未有关键进展的数学与理论计算机难题，横跨群论、量子复杂性、格密码等领域。


推理成本据称仅约2000美元，每份证明还附有Lean形式化证书。


如果这些结果通过数学界检验，将是跨时代的意义。


AI正在进入科研最核心的环节：寻找新证明、攻克开放问题，再生成可机器检查的形式化证书。


数学家不会消失，但数学研究的方式，可能要被彻底改写了！






最新回复 (8)
  • 寂冰 楼主 08-01 23:02
    1楼

    OpenAI同时还发布了相关的论文和推理详解，可直接阅读、下载：

    https://t.co/7gjZO1WMQK

    https://t.co/QzelCq6Dya

  • lxb123 08-01 23:03
    2楼

    他这几个证明的问题含金量都挺高的，如果全对的话那真是一天炸十次了 ^-^

  • lueluelue 08-01 23:05
    3楼

    这个Astra是下一代模型（5.7/6）的代号，类似Spud，还是Luna Terra Sol 这种大小

  • Oganneson 08-01 23:06
    4楼

    感觉是模型代号，估计是想对标隔壁的 Mythos，开辟一个新的层级？

  • astro_void 08-01 23:06
    5楼

    看新闻说是强化 agent 的模型

  • xiedian 08-01 23:11
    6楼

    我求求别再分什么sol，terra，luna，然后再分low，med，high，xhigh，max，ultra了。

  • OpenAI_Q-Star 08-01 23:18
    7楼

    有一家以前也是数学方向


    后来无限6月


    对 我是说gemini

  • 夏日渐长 08-02 00:13
    8楼

    我求求别再分什么sol，terra，luna，然后再分low，med，high，xhigh，max，ultra了。



    开始往界车发展了，下一步就是成为宇宙内最好的AI ^-^

* 帖子来源Linux.do
附近帖子
返回
飞读
随机推荐