行业多源确认75°14:40Gary Marcus看衰OpenAI Astra：缺少细节和独立验证Gary Marcus对OpenAI Astra的数学表现泼冷水：没公开细节，没独立验证，别急着吹。#OpenAI#Astra#Gary Marcus#数学推理10 个信源在谈事件专题Gary Marcus@GaryMarcus11 个信源在谈原文稍后读已读值得跟进有用关注 OpenAI
模型多源确认76°10:02Gary Marcus质疑AGI定义：只会数学不算通用看了这条你会明白，Astra数学再强也不是AGI的充分证据，Gary Marcus一句话点破通用性该有的样子。#Gary Marcus#Astra#通用人工智能#数学推理7 个信源在谈事件专题Gary Marcus@GaryMarcus8 个信源在谈原文稍后读已读值得跟进有用关注 Gary Marcus
模型多源确认精选06:26Gary Marcus：Astra是神经符号LLM而非纯大模型Gary Marcus公开赌Astra不是纯大模型，而是神经符号路线，还说自己早这么说了。想看他凭什么这么判断，就来读读这条。#Astra#神经符号#Gary Marcus7 个信源在谈事件专题Gary Marcus@GaryMarcus8 个信源在谈原文稍后读已读值得跟进有用关注 Astra
模型中美对照多源确认78°05:14OpenAI的Astra证明遭质疑，数学博士讨论无人问津Gary Marcus扒出OpenAI的Astra证明可能有问题，一个数学博士生的反例讨论才十几个互动，和数千万播放反差太大，建议去看看。#OpenAI#Astra#Gary Marcus#数学证明10 个信源在谈事件专题Gary Marcus@GaryMarcus11 个信源在谈原文稍后读已读值得跟进有用关注 OpenAI
模型中美对照多源确认01:37Gary Marcus质疑Astra能力，Claude回应称无需新理论Gary Marcus怼Astra全能论，还用Claude分析Noam推文，看看AI圈怎么吵的#OpenAI#Astra#Claude#Gary Marcus10 个信源在谈事件专题Gary Marcus@GaryMarcus11 个信源在谈原文稍后读已读值得跟进有用关注 OpenAI
行业多源确认01:34Gary Marcus 质疑 OpenAI 对 Astra 能力宣传，称回避技术局限Gary Marcus 发推怼 OpenAI：别光吹 Astra 万能，连数学行不行都存疑。围观他怎么拆台。#Astra#OpenAI#Gary Marcus#模型评测10 个信源在谈事件专题Gary Marcus@GaryMarcus11 个信源在谈原文稍后读已读值得跟进有用关注 Astra
模型中美对照多源确认82°01:16OpenAI Astra将发布10个数学证明，含反驳Connes刚性猜想OpenAI的Astra模型一口气放出10个数学证明，还带Lean验证和推理过程，数学爱好者可以围观了。#Astra#OpenAI#数学证明#Lean10 个信源在谈事件专题elvis@omarsar011 个信源在谈原文稍后读已读值得跟进有用关注 Astra
模型中美对照官方一手82°00:21OpenAI预热新模型Astra，攻克10个十年未解数学难题OpenAI说新模型Astra用2000美元算力解了10个老数学难题，连数学家都难搞定，还附Lean证明，感觉是真翻身了。#OpenAI#Astra#数学推理#推理模型10 个信源在谈事件专题官方一手歸藏(guizang.ai)@op741811 个信源在谈原文稍后读已读值得跟进有用关注 OpenAI
模型中美对照多源确认74°23:08Gary Marcus：Astra虽惊人，真实可靠性仍待验证Gary Marcus说：Astra数学成绩亮眼，但实际可靠性没验证，别急着嗨。#OpenAI#Astra#Gary Marcus#数学推理10 个信源在谈事件专题Gary Marcus@GaryMarcus11 个信源在谈原文稍后读已读值得跟进有用关注 OpenAI
模型中美对照多源确认82°16:35OpenAI被曝开发Astra模型家族，可让多智能体协同工作数小时或数天OpenAI在做Astra模型家族，多个智能体能协作数小时甚至数天，可能叫GPT-6或GPT-5。#OpenAI#Astra#智能体#GPT-610 个信源在谈事件专题官方账号Decoder@Matthias Bastian11 个信源在谈原文稍后读已读值得跟进有用关注 OpenAI
模型中美对照多源确认82°16:26OpenAI公布数学与理论计算机科学十项进展，Token成本约2000美元OpenAI用Astra模型解决了十个多年没人做出来的数学难题，整个研究烧了约2000美元的token，还在Lean里验证过，值得看看。#OpenAI#Astra#数学推理#形式化验证10 个信源在谈事件专题IIT之家11 个信源在谈原文稍后读已读值得跟进有用关注 OpenAI
模型多源确认76°15:59Astra模型解决10个数学与理论计算机科学难题OpenAI的Astra模型花约2000美元解出10个数学难题，证明还带Lean验证，硬核得让人服气。#Astra#OpenAI#Lean#推理模型10 个信源在谈事件专题官方账号Greg Brockman@gdb11 个信源在谈原文稍后读已读值得跟进有用关注 Astra
模型中美对照多源确认82°08:47OpenAI 奥尔特曼演示 Astra 模型：多智能体协同处理长周期任务OpenAI 新模型 Astra 能让多个智能体拆任务协同，专攻长周期复杂任务，不是单个模型硬扛。#OpenAI#Astra#智能体#长周期任务10 个信源在谈事件专题IIT之家11 个信源在谈原文稍后读已读值得跟进有用关注 OpenAI
