13:45IT之家(博客/媒体)精选73°OpenAI首席科学家雅库布·帕乔基回应Astra模型不可监控争议,表示Astra计算图深度与GPT-4相差不超过两倍。OpenAI将为Astra部署额外思维链监控,加强监控仍是当前研究核心目标。深度循环技术可能导致研究人员更难解释模型的思维链推理过程。行业OpenAIAstraGPT-410 个信源在谈事件专题推荐理由:OpenAI首席科学家澄清Astra模型复杂度未跳跃增长,并宣布将加强思维链监控技术。原文稍后读已读值得跟进有用关注 OpenAI
04:22techcrunch@Russell Brandom73°OpenAI发布Astra模型,采用'循环深度'技术。该技术使模型能够突破大多数推理模型的顺序思维限制。安全专家对这一新方法表示担忧。AI模型OpenAIAstra推理模型9 个信源在谈事件专题推荐理由:OpenAI的Astra模型用'循环深度'技术突破顺序思维,安全专家对此表示担忧。原文稍后读已读值得跟进有用关注 OpenAI
02:05Gary Marcus@GaryMarcusGary Marcus公开质疑The Information关于Astra模型的报道准确性。报道称Astra采用了一种创新技术提升模型性能,但也导致模型"思考过程"更难被理解。Marcus要求媒体澄清或更正这一说法。The Information编辑Stephanie Palazzolo表示报道存在更多细节需要解释。行业AstraGary MarcusThe Information1 个信源在谈事件专题推荐理由:Gary Marcus再次质疑Astra报道准确性,AI领域专家与媒体的认知差异值得关注。原文稍后读已读值得跟进有用关注 Astra
22:53官方账号Decoder@Maximilian Schreiner73°OpenAI将即将发布的Astra模型评为首个具备'关键'网络能力的系统。该公司计划通过监控思维链来控制该模型。然而,这种监控已被证明是模型真实决策的不可靠反映。据报告,Astra的新架构将更多思维过程推向不可读区域。随着能力提升,安全网可能正在变弱。AI模型AstraOpenAI推理模型10 个信源在谈事件专题推荐理由:OpenAI的Astra模型被标记为最危险系统,新架构让监控变得更困难,安全与能力平衡面临挑战。原文稍后读已读值得跟进有用关注 Astra
07:43IT之家(博客/媒体)73°OpenAI宣布将推出首个达到'关键'网络安全能力门槛的模型Astra。该模型能无需人类干预,在多个安全系统中识别并开发零日漏洞利用程序。OpenAI将采取分级开放策略,仅向小批测试人员开放高级网络安全任务,并通过Daybreak Blue计划向更广泛用户开放防御性用途。此次发布吸取了Hugging Face事件教训,强化了安全护栏。AI模型OpenAIAstra网络安全10 个信源在谈事件专题推荐理由:OpenAI的Astra模型能自主发现零日漏洞,但为防滥用将限制其网络安全功能,只开放给防御性用途。原文稍后读已读值得跟进有用关注 OpenAI
05:13techcrunch@Tim Fernholz73°OpenAI正在准备发布其最新的关键性大语言模型Astra。该模型在计算机系统安全测试中表现出色。OpenAI已预览了为Astra发布采取的预防措施。Astra是OpenAI最新的网络安全相关大模型。AI模型OpenAIAstra大语言模型10 个信源在谈事件专题推荐理由:OpenAI要发Astra了,这模型擅长破解电脑系统,还提前展示了安全防护措施。原文稍后读已读值得跟进有用关注 OpenAI
04:38官方账号OpenAI@OpenAI (@OpenAI)73°OpenAI即将发布Astra模型,该模型在网络安全能力方面取得重大进展,在Preparedness框架下达到Critical阈值。OpenAI展示了如何评估该模型,以及其安全措施如何随能力一同提升。Astra代表了AI安全性和可访问性的重要进步。AI模型AstraOpenAI网络安全10 个信源在谈事件专题推荐理由:OpenAI要发Astra了,网络安全能力达到Critical级别,安全措施和能力同步升级。原文稍后读已读值得跟进有用关注 Astra
04:14官方一手OpenAI Blog(博客/媒体)OpenAI推出Astra模型,成为首个满足Preparedness Framework框架下关键网络安全能力阈值的模型。该模型具备更强的发布安全防护措施。Astra代表了OpenAI在AI安全领域的重要进展。AI模型AstraOpenAIPreparedness Framework10 个信源在谈事件专题推荐理由:OpenAI发布了满足关键安全标准的Astra模型,比之前的模型有更强的安全防护。原文稍后读已读值得跟进有用关注 Astra
01:18Gary Marcus@GaryMarcusOpenAI的Noam Brown解释为何未公布更多Astra模型的数学结果。OpenAI只在能改变人们对AI进展速度理解时才公布内部模型的数学成果。OpenAI的主要重点是发布优秀模型,让每个人都能使用它们进行自己的发现。行业OpenAIAstra数学模型10 个信源在谈事件专题推荐理由:OpenAI透露不公布更多数学成果的原因,他们更专注于让用户使用模型进行自己的发现。原文稍后读已读值得跟进有用关注 OpenAI
13:31IT之家(博客/媒体)73°OpenAI正在加快Astra模型发布进程,新增mozaik-alpha-fdm测试阶段。Astra在数学、物理、生物等领域展现重大突破,可能就是GPT-6或其候选名称之一,参数规模可能达10万亿。测试显示,Astra仅1次对话交互就能生成类似GTA 2的游戏、精细网站和3D对象。当前Astra处于零样本测试阶段,使用Max推理强度,推理时间比GPT-5.6 Sol长。AI模型OpenAIAstraGPT-64 个信源在谈事件专题推荐理由:OpenAI的Astra模型1次交互就能生成游戏和3D对象,比GPT-5.6 Sol推理时间长但能力更强。原文稍后读已读值得跟进有用关注 OpenAI
02:10官方账号Decoder@Matthias Bastian78°OpenAI首席科学家Jakub Pachocki表示,公司即将推出的模型Astra已能像自动化研究实习生一样工作。CEO Sam Altman预计Astra将是第一个能够真正发明新事物的模型。OpenAI领导层相信AGI即将实现。行业OpenAIAGIAstra10 个信源在谈事件专题推荐理由:OpenAI CEO Sam Altman谈AGI,新模型Astra引人关注,与GPT-4相比有何不同?原文稍后读已读值得跟进有用关注 OpenAI
03:12官方账号Decoder@Matthias BastianOpenAI 宣布有意控制 AI 模型开发节奏。即将推出的 Astra 模型可能具备关键网络攻击能力。新监控系统能在 30 分钟内检测模型可疑行为并报警。AI模型OpenAIAstraAI安全10 个信源在谈事件专题推荐理由:OpenAI 怕 Astra 模型搞网络攻击,故意放慢开发,还搞了个 30 分钟报警系统。原文稍后读已读值得跟进有用关注 OpenAI
20:01The Rundown AI@therundownaiOpenAI对Astra启用了安全刹车措施。The Rundown Roundtable讨论了团队日常使用AI的具体场景。用Loom搭配ChatGPT可以把新员工入职培训时间缩短一半。来自中国的Kimi K3在测试中加入了越狱行列。行业OpenAIAstraKimi K310 个信源在谈事件专题推荐理由:OpenAI给Astra上安全锁,Loom+ChatGPT让入职培训减半,今天这几条值得刷。原文稍后读已读值得跟进有用关注 OpenAI
16:00IT之家(博客/媒体)72°OpenAI 于 7 月 31 日发布 249 页 PDF,介绍下一代模型 Astra 在高维球填充、量子博弈论等领域的数学进展,按 Sol API 费率计算约耗 2,000 美元词元成本。多名数学家审查后指控其学术不端,两项核心结果未正确引用既有文献。Yeshiva University 数学家 Steven Miller 指出,针对 1000 维或更高维空间的球体装箱问题,Astra 的核心论证首次出现在他 2016 年的论文中。Cambridge 数学家 Francesco Fournier-Facio 和 Dresden University of Technology 的 Andreas Thom 发现,群论中关于 Soficity 的结果结合了 2016 年和 2019 年两篇论文的想法。OpenAI 回应称对结果正确性负责,并计划本周小幅更新论文。行业OpenAIAstra学术不端10 个信源在谈事件专题推荐理由:OpenAI 的 Astra 论文被数学家抓了没引文献,两项核心结果撞车 2016 和 2019 年的工作,OpenAI 说要改,看看学术圈怎么较真。原文稍后读已读值得跟进有用关注 OpenAI
08:35宝玉@dotey85°OpenAI CEO Sam Altman 在 X 平台表示,新模型 Astra 功能强大,团队正努力让它广泛可用。Altman 称不会把 Astra 只给少数人,但因涉及网络攻击能力,需要更长时间确保安全。目前 Astra 的发布时间和具体版本尚未公开。AI模型GPT-6AstraOpenAI10 个信源在谈事件专题推荐理由:Altman 亲口说 Astra 不会只给少数人,但要先搞定安全。想抢先体验 GPT-6 系列的话,可以盯紧这条。原文稍后读已读值得跟进有用关注 GPT-6
07:41官方账号OpenAI@OpenAI82°OpenAI CEO Sam Altman 在 X 上称,Astra 是 OpenAI 正在推进公开发布的一个强大模型。他明确表示,OpenAI 不会把 Astra 的能力只给少数人。由于 Astra 具备网络(cyber)相关能力,OpenAI 需要更长时间完成安全准备。Altman 说希望不会太久,但 OpenAI 尚未公布 Astra 的具体上线时间。AI模型AstraOpenAISam Altman10 个信源在谈事件专题推荐理由:Altman 亲口说 Astra 不会只给少数人用,但因为 cyber 能力要加做安全测试再公开发布。原文稍后读已读值得跟进有用关注 Astra
07:30IT之家(博客/媒体)82°OpenAI内部评估显示,其新模型Astra在智能体编程和网络安全领域能力突出,被列为公司首个达到《准备框架》中网络安全“关键”风险级别的模型。该级别意味着模型可能无干预挖掘零日漏洞或自主发起端到端攻击。OpenAI强调Astra尚未发布,也未参与针对Hugging Face的网络攻击事件。为安全合规,OpenAI已采取隔离测试环境、限制网络访问、强化权重保护等管控措施,并暂停未达标的相关活动。CEO奥尔特曼表示,Astra性能强劲,但需要时间确保安全后再公开发布。AI模型OpenAIAstraAI安全10 个信源在谈事件专题推荐理由:OpenAI自己把新模型Astra的安全风险定到最高级,因为怕它太会挖漏洞,先扣下来不发了,还说要和政府合作测试。原文稍后读已读值得跟进有用关注 OpenAI
07:00techcrunch@Kirsten KorosecOpenAI 表示已暂停下一代模型 Astra 的部分开发工作,原因是担忧其网络安全能力。Astra 是 OpenAI 尚未正式发布的模型。此次放缓显示安全审查已成为模型研发过程中的关键环节。行业OpenAIAstraAI安全10 个信源在谈事件专题推荐理由:OpenAI 自己承认,新模型 Astra 因为安全不过关放慢了进度。大厂在安全和进度之间怎么权衡,看这个就明白了。原文稍后读已读值得跟进有用关注 OpenAI
04:13官方账号Decoder@Matthias Bastian79°OpenAI内部测试显示,新模型Astra的网络安全能力极强,公司首次无法排除其达到自身安全框架中的最高风险等级。部分Astra开发工作已被暂停。此前OpenAI披露,自主AI代理曾在其基础设施中未被发现地活动数周。这些事件促使OpenAI重新评估Astra的安全风险。AI模型OpenAIAstraAI安全10 个信源在谈事件专题推荐理由:OpenAI说自家新模型Astra网络攻击能力太强,可能达到最高风险等级,部分开发先停了。头一回这么谨慎。原文稍后读已读值得跟进有用关注 OpenAI
03:22官方账号OpenAI@OpenAIOpenAI宣布,即将推出的模型Astra被其Preparedness Framework评估为首个“关键”级网络安全模型。这一分级意味着Astra在自主网络攻击等能力上达到该框架的最高风险等级。OpenAI表示已针对这一场景预先制定计划,并将在Astra后续开发中实施额外安全管控。该公司正努力让Astra广泛可用,以将其高级网络防御能力提供给防御者。AI模型OpenAIAstraAI安全10 个信源在谈事件专题推荐理由:OpenAI说新模型Astra在网络安全上风险最高,他们准备加码防护再上线,还把能力给防御者用。原文稍后读已读值得跟进有用关注 OpenAI
03:16官方账号Greg Brockman@gdb85°OpenAI 对下一代模型 Astra 的评估显示,其在智能体编码和网络安全任务上能力显著提升。依据 Preparedness Framework,OpenAI 将 Astra 视为首个“关键”网络安全模型,并增加额外安全控制。OpenAI 计划在安全准备工作完成后让 Astra 广泛可用,并将高级网络能力提供给防御者。AI模型AstraOpenAI智能体10 个信源在谈事件专题推荐理由:OpenAI 刚透露下一代模型 Astra 在智能体编程和网络安全上能力大涨,还把它定为首个“关键”网络安全模型,安全措施也升级了。原文稍后读已读值得跟进有用关注 Astra
00:51官方一手OpenAI Blog(博客/媒体)OpenAI发布了Astra的初步网络安全评估,并同步说明了安全控制强化措施。Astra的评估重点考察了其在对抗性网络攻击下的防御能力。Astra相关的安全策略已升级,以应对未来更复杂的网络威胁。AI模型OpenAIAstraAI安全10 个信源在谈事件专题推荐理由:OpenAI给Astra做了网络攻击测试,结果公布了,还说要加强防护。看看这个模型扛不扛打。原文稍后读已读值得跟进有用关注 OpenAI
10:44orange.ai@oran_ge72°OpenAI被曝下周发布新一代模型Astra。Astra据称是旗下最大模型,性能预计不输Mythos。同时Luna向用户免费开放。AI模型OpenAIAstraMythos10 个信源在谈事件专题推荐理由:OpenAI传下星期要发大模型Astra,据说比Mythos还强,Luna直接免费,先蹲个发布。原文稍后读已读值得跟进有用关注 OpenAI
08:06IT之家(博客/媒体)82°消息源@synthwavedd在X平台爆料,OpenAI目标下周发布内部代号为mewfour的Astra模型。该模型是OpenAI自GPT-4.5以来训练的最大预训练模型。其内部版本已解出10个重要开放数学问题,按Sol API费率计算消耗约2,000美元词元成本。该模型可组织和协同AI智能体,面向长周期、高难度任务的推理与协作工作流。AI模型OpenAIAstraGPT-4.510 个信源在谈事件专题推荐理由:OpenAI下周可能要发Astra,是GPT-4.5以来最大模型,能解10道数学难题,还能调度智能体干活。原文稍后读已读值得跟进有用关注 OpenAI
01:55Gary Marcus@GaryMarcusGary Marcus对Astra的推断有了新证据:他在周末指出,单领域专长不等于其他领域也擅长,Astra写作可能不如解题。Ben Golub回应称,Astra相关文稿的写作低于最佳实践,AI模型在写作和心智理论上还有提升空间。Refine预告将发布相关报告。AI模型AstraRefineGary Marcus2 个信源在谈事件专题推荐理由:Gary Marcus说Astra写作不如解题,Ben Golub同意,Refine要发报告。原文稍后读已读值得跟进有用关注 Astra
01:16Gary Marcus@GaryMarcus76°Gary Marcus在推文中回应关于Astra与AGI的质疑。他提到OpenAI下一代模型Astra在数学和理论计算机科学领域产出10项新结果。他认为这代表模型开始创造真正的新知识,符合AGI第四级“创新者”的部分定义。该讨论源于对OpenAI真实AGI进展的猜测。AI模型OpenAIAstraGary Marcus9 个信源在谈事件专题推荐理由:Gary Marcus说OpenAI的Astra拿出10项数学新成果,或够AGI四级创新者,聊?原文稍后读已读值得跟进有用关注 OpenAI
01:20Gary Marcus@GaryMarcus数学家陶哲轩在一场讲座中指出,AI工具可能带来“证明消化不良”,并非所有机器生成的证明都有用。他强调数学研究并不均匀,AI擅长其中部分环节,却无法覆盖全部。他还提到,Astra(他写评论时该模型尚未发布)能解决特定类型的问题,但目前没有证据表明它能构建新理论。论文Terence TaoAstraAI数学推荐理由:陶哲轩对AI做数学的真实看法,讲得很清楚:AI能算题,但建理论还不行。原文稍后读已读值得跟进有用关注 Terence Tao
18:41The Rundown AI@therundownai89°OpenAI的Astra模型在数学推理上取得突破,解决了长期未解的难题。中国团队的Qwen模型如今逼近全球前沿水平,引发关注。ChatGPT新增了通过语音指挥工作日的功能,提升办公效率。The Rundown还分享了编辑团队日常使用AI的具体案例。AI模型OpenAIAstraQwen10 个信源在谈事件专题推荐理由:OpenAI的Astra解了老数学题,Qwen也赶上来了,ChatGPT能语音干活,快看。原文稍后读已读值得跟进有用关注 OpenAI
10:17小互@imxiaohu85°OpenAI发布公告和200多页论文,披露下一代主力模型Astra的内部版本解决了10个数学与理论计算机科学难题。这些难题中最古老的来自1964年,最年轻的也已有二十多年未解,分布在八个分支。Astra尚未对外发布,目前仅以内部版本完成解题。AI模型OpenAIAstra推理模型10 个信源在谈事件专题推荐理由:OpenAI下一代模型Astra的论文:一口气解开10个几十年没人动的数学难题,想看看多强可点开。原文稍后读已读值得跟进有用关注 OpenAI
07:21Gary Marcus@GaryMarcus82°Gary Marcus在X上列出外界对OpenAI Astra数学结果的八种误解。他认为数学领域擅长验证与合成数据,因此Astra的数学能力不代表通用智能,并援引IBM Watson从问答转向医疗失败的例子。Astra的证明写作水平不及证明本身,也未必能可靠处理PDF提取或写视频脚本。Marcus还驳斥了Astra即奇点的说法,并称一次Fable运行不足以证明数学史被改写。AI模型AstraOpenAI数学推理10 个信源在谈事件专题推荐理由:Gary Marcus盘点Astra数学8大误区,冷静看待OpenAI新模型,别被'数学已解决'带偏原文稍后读已读值得跟进有用关注 Astra
06:08Gary Marcus@GaryMarcus79°Gary Marcus 发文指出,OpenAI 的 Astra 在数学上的成功并不代表通用能力。数学依赖符号验证和合成数据,容易刷分,但现实世界无法模拟。Astra 只擅长某些数学题,并非全领域领先,其证明写作能力也不及题目求解。他质疑 Astra 能解决 PDF 数字提取等现有模型难题。Marcus 强调,Astra 不是奇点,也不意味着自动化科学发现时代到来。AI模型OpenAIAstraGary Marcus10 个信源在谈事件专题推荐理由:Gary Marcus 给 OpenAI 的数学成绩单泼冷水:Astra 能解数学题是因为数学能自动验证,换到现实问题就不好说。别急着吹成万能。原文稍后读已读值得跟进有用关注 OpenAI
14:41Gary Marcus@GaryMarcus78°Gary Marcus在推文中批评“AGI近在咫尺”群体反复犯“所有认知等同”的逻辑谬误,称今天至少见到六次。他以Astra为例,指出数学出色不等于能避免幻觉或可靠读取PDF。Marcus还怀疑Astra能否在2024年与Miles Brundage的赌约中拿到5/10分。他强调单一领域专长不代表全面型智能,更不意味着AGI或ASI临近。行业Gary MarcusAstraAGI5 个信源在谈事件专题推荐理由:Gary Marcus发推怼了一波“AGI近在咫尺”派,拿Astra举例说数学强不等于啥都强,别被带节奏。原文稍后读已读值得跟进有用关注 Gary Marcus
14:40Gary Marcus@GaryMarcus75°Gary Marcus评论OpenAI Astra时承认其演示“显然令人印象深刻”,但认为数学问题比其他问题更依赖形式验证和合成数据。他质疑Astra在开放式真实世界问题中的可靠性,并指出目前不知道其是否使用Lean等工具。Marcus表示尚未看到问题尝试数量等细节,也没有独立验证。他回顾了此前社区对未试用模型的狂热后常出现失望的情况。行业OpenAIAstraGary Marcus10 个信源在谈事件专题推荐理由:Gary Marcus对OpenAI Astra的数学表现泼冷水:没公开细节,没独立验证,别急着吹。原文稍后读已读值得跟进有用关注 OpenAI
10:02Gary Marcus@GaryMarcus76°Gary Marcus发帖质疑,把AGI限定在可形式化领域是移动球门柱。他以2024年与Brundage的赌约为据,认为写视频脚本这类任务AGI应当能做。他承认Astra在数学上表现惊艳,但仅凭数学能力不足以证明其达到AGI。AI模型Gary MarcusAstra通用人工智能7 个信源在谈事件专题推荐理由:看了这条你会明白,Astra数学再强也不是AGI的充分证据,Gary Marcus一句话点破通用性该有的样子。原文稍后读已读值得跟进有用关注 Gary Marcus
06:26Gary Marcus@GaryMarcus精选Gary Marcus发推称,他猜测Astra是一个带辅助框架和工具的神经符号LLM。他强调这一观点与自己最初的说法一致,并质疑Astra是纯大模型的可能性。这条推文目前获得9595次查看和7个点赞。AI模型Astra神经符号Gary Marcus7 个信源在谈事件专题推荐理由:Gary Marcus公开赌Astra不是纯大模型,而是神经符号路线,还说自己早这么说了。想看他凭什么这么判断,就来读读这条。原文稍后读已读值得跟进有用关注 Astra
05:14Gary Marcus@GaryMarcus78°Gary Marcus在X上批评,OpenAI新证明引发的欢呼有数千万观看,而一位数学博士研究生对疑似反例的讨论互动数不足12次。他引用自己的帖子指出,至少一个Astra证明可能出错,该帖子有3249次观看,但只有5条回复、3次转发和14个赞。Marcus用这个对比说明,证明的验证过程未得到足够关注。AI模型OpenAIAstraGary Marcus10 个信源在谈事件专题推荐理由:Gary Marcus扒出OpenAI的Astra证明可能有问题,一个数学博士生的反例讨论才十几个互动,和数千万播放反差太大,建议去看看。原文稍后读已读值得跟进有用关注 OpenAI
01:37Gary Marcus@GaryMarcusGary Marcus在X上表示,OpenAI的Dean Ball称Astra能做任何事,但他怀疑Astra连数学都未必擅长。Ben Horne将Noam的推文输入Claude,Claude最后总结称,列表中的内容几乎都是构造或显式边界,只需展示巧妙对象即可验证。Claude还指出,所有这些成果都没有涉及构建新理论。Gary Marcus认为这些突破虽然惊人,但缺乏新理论值得思考。AI模型OpenAIAstraClaude10 个信源在谈事件专题推荐理由:Gary Marcus怼Astra全能论,还用Claude分析Noam推文,看看AI圈怎么吵的原文稍后读已读值得跟进有用关注 OpenAI
01:34Gary Marcus@GaryMarcusGary Marcus 在 X 平台发文,批评 AI 社区对 OpenAI 的 Astra 只有立场站队,不愿审视其技术上限。他引用 OpenAI 的 deanwball 称 Astra 无所不能的说法,表示连数学任务都不清楚 Astra 能否做好。这条推文目前有 9 个赞和 2232 次浏览。行业AstraOpenAIGary Marcus10 个信源在谈事件专题推荐理由:Gary Marcus 发推怼 OpenAI:别光吹 Astra 万能,连数学行不行都存疑。围观他怎么拆台。原文稍后读已读值得跟进有用关注 Astra
01:16elvis@omarsar082°OpenAI研究员Sebastien Bubeck表示,Astra是OpenAI下一个主要模型,已独立证明多个数学难题。OpenAI将发布10个Astra证明,每个都附带完整Lean证书和思维链(CoT)推演。结果包括对von Neumann代数中Connes刚性猜想的反驳,以及高维球堆积、电路复杂度、多色图中单色三角形的更好界限。这一进展让独立研究者对AI驱动的科学发现感到兴奋。AI模型AstraOpenAI数学证明10 个信源在谈事件专题推荐理由:OpenAI的Astra模型一口气放出10个数学证明,还带Lean验证和推理过程,数学爱好者可以围观了。原文稍后读已读值得跟进有用关注 Astra
00:21官方一手歸藏(guizang.ai)@op741882°OpenAI在X平台预热下一代模型Astra,称其解决了10个存在至少十年的数学问题。OpenAI研究负责人Sebastien Bubeck确认,Astra完成了多项成果,包括推翻Connes刚性猜想、改进高维球堆积和电路复杂性的界。这些证明将附带Lean证书和思维链(CoT)逐步讲解,并以论文形式发布。据称整个求解过程的算力成本仅约2000美元,OpenAI CEO Sam Altman已赴华盛顿与美政府沟通发布事宜。AI模型OpenAIAstra数学推理10 个信源在谈事件专题推荐理由:OpenAI说新模型Astra用2000美元算力解了10个老数学难题,连数学家都难搞定,还附Lean证明,感觉是真翻身了。原文稍后读已读值得跟进有用关注 OpenAI