23:08
Gary Marcus@GaryMarcus
Gary Marcus@GaryMarcus74°
推荐理由：Gary Marcus说：Astra数学成绩亮眼，但实际可靠性没验证，别急着嗨。
Astra
共 45 条相关 AI 资讯
8月1日
23:08
Gary Marcus对OpenAI Astra的演示表示惊艳，但指出数学问题与其他问题不同，更适合形式化验证和合成数据。他认为该模型在开放式真实世界任务中的可靠性尚未可知，且未知是否依赖Lean等正式工具。Marcus质疑目前缺少具体实验细节，例如尝试了多少问题、成功多少，也没有独立验证。他提醒，过去社区多次对未亲测模型狂热，随后出现分歧或失望。
16:35
16:35
官方账号Decoder@Matthias Bastian
82°
推荐理由：OpenAI在做Astra模型家族，多个智能体能协作数小时甚至数天，可能叫GPT-6或GPT-5。
16:26
16:26IT之家（博客/媒体）
82°
推荐理由：OpenAI用Astra模型解决了十个多年没人做出来的数学难题，整个研究烧了约2000美元的token，还在Lean里验证过，值得看看。
15:59
15:59
官方账号Greg Brockman@gdb
官方账号Greg Brockman@gdb76°
推荐理由：OpenAI的Astra模型花约2000美元解出10个数学难题，证明还带Lean验证，硬核得让人服气。
08:47
08:47IT之家（博客/媒体）
82°
推荐理由：OpenAI 新模型 Astra 能让多个智能体拆任务协同，专攻长周期复杂任务，不是单个模型硬扛。