Astra 相关 AI 资讯

模型中美对照多源确认82°07:30

OpenAI因网络安全风险延缓Astra模型发布

OpenAI自己把新模型Astra的安全风险定到最高级，因为怕它太会挖漏洞，先扣下来不发了，还说要和政府合作测试。

#OpenAI #Astra #AI安全 #智能体

事件专题

IT之家11 个信源在谈原文

行业多源确认07:00

OpenAI 因安全担忧放缓 Astra 模型开发

OpenAI 自己承认，新模型 Astra 因为安全不过关放慢了进度。大厂在安全和进度之间怎么权衡，看这个就明白了。

#OpenAI #Astra #AI安全

事件专题

techcrunch@Kirsten Korosec11 个信源在谈原文

模型中美对照多源确认79°04:13

OpenAI首次将新模型Astra标记为最高网络安全风险等级

OpenAI说自家新模型Astra网络攻击能力太强，可能达到最高风险等级，部分开发先停了。头一回这么谨慎。

#OpenAI #Astra #AI安全 #智能体

事件专题

官方账号Decoder@Matthias Bastian11 个信源在谈原文

模型中美对照多源确认03:22

OpenAI Astra 被定为首个关键级网络安全模型

OpenAI说新模型Astra在网络安全上风险最高，他们准备加码防护再上线，还把能力给防御者用。

#OpenAI #Astra #AI安全 #网络安全

事件专题

官方账号OpenAI@OpenAI11 个信源在谈原文

模型中美对照多源确认85°03:16

OpenAI 下一代模型 Astra 评估：智能体编码与网络安全能力显著提升

OpenAI 刚透露下一代模型 Astra 在智能体编程和网络安全上能力大涨，还把它定为首个“关键”网络安全模型，安全措施也升级了。

#Astra #OpenAI #智能体 #网络安全

事件专题

官方账号Greg Brockman@gdb11 个信源在谈原文

模型中美对照官方一手00:51

OpenAI公布Astra初步网络安全评估结果

OpenAI给Astra做了网络攻击测试，结果公布了，还说要加强防护。看看这个模型扛不扛打。

#OpenAI #Astra #AI安全 #网络安全

事件专题

官方一手OpenAI Blog11 个信源在谈原文

模型中美对照多源确认72°10:44

OpenAI被曝下周发布Astra，Luna免费开放

OpenAI传下星期要发大模型Astra，据说比Mythos还强，Luna直接免费，先蹲个发布。

#OpenAI #Astra #Mythos #Luna

事件专题

orange.ai@oran_ge11 个信源在谈原文

模型中美对照多源确认82°08:06

曝OpenAI最快下周推出Astra模型，为GPT-4.5以来最大模型

OpenAI下周可能要发Astra，是GPT-4.5以来最大模型，能解10道数学难题，还能调度智能体干活。

#OpenAI #Astra #GPT-4.5 #智能体

事件专题

IT之家11 个信源在谈原文

模型多源确认01:55

Gary Marcus称Astra写作能力逊于解题能力，佐证其非AGI

Gary Marcus说Astra写作不如解题，Ben Golub同意，Refine要发报告。

#Astra #Refine #Gary Marcus #写作能力

事件专题

Gary Marcus@GaryMarcus3 个信源在谈原文

模型中美对照多源确认76°01:16

Gary Marcus谈OpenAI Astra：10项新成果或达AGI四级

Gary Marcus说OpenAI的Astra拿出10项数学新成果，或够AGI四级创新者，聊？

#OpenAI #Astra #Gary Marcus #推理模型

事件专题

Gary Marcus@GaryMarcus10 个信源在谈原文

论文01:20

陶哲轩谈AI与数学：警惕“证明消化不良”

陶哲轩对AI做数学的真实看法，讲得很清楚：AI能算题，但建理论还不行。

#Terence Tao #Astra #AI数学 #数学研究

Gary Marcus@GaryMarcus原文

模型中美对照多源确认89°18:41

OpenAI Astra攻克数学难题，Qwen挑战前沿

OpenAI的Astra解了老数学题，Qwen也赶上来了，ChatGPT能语音干活，快看。

#OpenAI #Astra #Qwen #ChatGPT

事件专题

The Rundown AI@therundownai11 个信源在谈原文

模型中美对照多源确认85°10:17

OpenAI下一代模型Astra解开10个悬置数十年的数学难题

OpenAI下一代模型Astra的论文：一口气解开10个几十年没人动的数学难题，想看看多强可点开。

#OpenAI #Astra #推理模型 #数学推理

事件专题

小互@imxiaohu11 个信源在谈原文

模型中美对照多源确认82°07:21

Gary Marcus盘点OpenAI Astra八大误解：数学强不等于通用智能

Gary Marcus盘点Astra数学8大误区，冷静看待OpenAI新模型，别被'数学已解决'带偏

#Astra #OpenAI #数学推理 #GPT-5

事件专题

Gary Marcus@GaryMarcus11 个信源在谈原文

模型中美对照多源确认79°06:08

关于OpenAI Astra数学结果的八个常见误解

Gary Marcus 给 OpenAI 的数学成绩单泼冷水：Astra 能解数学题是因为数学能自动验证，换到现实问题就不好说。别急着吹成万能。

#OpenAI #Astra #Gary Marcus #数学推理

事件专题

Gary Marcus@GaryMarcus11 个信源在谈原文

行业多源确认78°14:41

Gary Marcus：Astra数学强不代表AGI将至

Gary Marcus发推怼了一波“AGI近在咫尺”派，拿Astra举例说数学强不等于啥都强，别被带节奏。

#Gary Marcus #Astra #AGI #推理模型

事件专题

Gary Marcus@GaryMarcus6 个信源在谈原文

行业多源确认75°14:40

Gary Marcus看衰OpenAI Astra：缺少细节和独立验证

Gary Marcus对OpenAI Astra的数学表现泼冷水：没公开细节，没独立验证，别急着吹。

#OpenAI #Astra #Gary Marcus #数学推理

事件专题

Gary Marcus@GaryMarcus11 个信源在谈原文

模型多源确认76°10:02

Gary Marcus质疑AGI定义：只会数学不算通用

看了这条你会明白，Astra数学再强也不是AGI的充分证据，Gary Marcus一句话点破通用性该有的样子。

#Gary Marcus #Astra #通用人工智能 #数学推理

事件专题

Gary Marcus@GaryMarcus8 个信源在谈原文

模型多源确认精选06:26

Gary Marcus：Astra是神经符号LLM而非纯大模型

Gary Marcus公开赌Astra不是纯大模型，而是神经符号路线，还说自己早这么说了。想看他凭什么这么判断，就来读读这条。

#Astra #神经符号 #Gary Marcus

事件专题

Gary Marcus@GaryMarcus8 个信源在谈原文

模型中美对照多源确认78°05:14

OpenAI的Astra证明遭质疑，数学博士讨论无人问津

Gary Marcus扒出OpenAI的Astra证明可能有问题，一个数学博士生的反例讨论才十几个互动，和数千万播放反差太大，建议去看看。

#OpenAI #Astra #Gary Marcus #数学证明

事件专题

Gary Marcus@GaryMarcus11 个信源在谈原文

模型中美对照多源确认01:37

Gary Marcus质疑Astra能力，Claude回应称无需新理论

Gary Marcus怼Astra全能论，还用Claude分析Noam推文，看看AI圈怎么吵的

#OpenAI #Astra #Claude #Gary Marcus

事件专题

Gary Marcus@GaryMarcus11 个信源在谈原文

行业多源确认01:34

Gary Marcus 质疑 OpenAI 对 Astra 能力宣传，称回避技术局限

Gary Marcus 发推怼 OpenAI：别光吹 Astra 万能，连数学行不行都存疑。围观他怎么拆台。

#Astra #OpenAI #Gary Marcus #模型评测

事件专题

Gary Marcus@GaryMarcus11 个信源在谈原文

模型中美对照多源确认82°01:16

OpenAI Astra将发布10个数学证明，含反驳Connes刚性猜想

OpenAI的Astra模型一口气放出10个数学证明，还带Lean验证和推理过程，数学爱好者可以围观了。

#Astra #OpenAI #数学证明 #Lean

事件专题

elvis@omarsar011 个信源在谈原文

模型中美对照官方一手82°00:21

OpenAI预热新模型Astra，攻克10个十年未解数学难题

OpenAI说新模型Astra用2000美元算力解了10个老数学难题，连数学家都难搞定，还附Lean证明，感觉是真翻身了。

#OpenAI #Astra #数学推理 #推理模型

事件专题

官方一手歸藏(guizang.ai)@op741811 个信源在谈原文

模型中美对照多源确认74°23:08

Gary Marcus：Astra虽惊人，真实可靠性仍待验证

Gary Marcus说：Astra数学成绩亮眼，但实际可靠性没验证，别急着嗨。

#OpenAI #Astra #Gary Marcus #数学推理

事件专题

Gary Marcus@GaryMarcus11 个信源在谈原文

模型中美对照多源确认82°16:35

OpenAI被曝开发Astra模型家族，可让多智能体协同工作数小时或数天

OpenAI在做Astra模型家族，多个智能体能协作数小时甚至数天，可能叫GPT-6或GPT-5。

#OpenAI #Astra #智能体 #GPT-6

事件专题

官方账号Decoder@Matthias Bastian11 个信源在谈原文

模型中美对照多源确认82°16:26

OpenAI公布数学与理论计算机科学十项进展，Token成本约2000美元

OpenAI用Astra模型解决了十个多年没人做出来的数学难题，整个研究烧了约2000美元的token，还在Lean里验证过，值得看看。

#OpenAI #Astra #数学推理 #形式化验证

事件专题

IT之家11 个信源在谈原文

模型多源确认76°15:59

Astra模型解决10个数学与理论计算机科学难题

OpenAI的Astra模型花约2000美元解出10个数学难题，证明还带Lean验证，硬核得让人服气。

#Astra #OpenAI #Lean #推理模型

事件专题

官方账号Greg Brockman@gdb11 个信源在谈原文

模型中美对照多源确认82°08:47

OpenAI 奥尔特曼演示 Astra 模型：多智能体协同处理长周期任务

OpenAI 新模型 Astra 能让多个智能体拆任务协同，专攻长周期复杂任务，不是单个模型硬扛。

#OpenAI #Astra #智能体 #长周期任务

事件专题

IT之家11 个信源在谈原文