GPT-6带火循环Transformer，阿里早已布局
手握两篇顶会论文
推理能力
模型推理能力的进展：思维链、推理模型、数学与逻辑基准的突破与争议。
已收录 422 条 · 近 30 天 296 条 · 第 17 / 18 页
-
-
陶哲轩吐槽GPT-6孪生素数新突破：令人无语的一幕
AI直接吐出正确答案，但最关键的可能不是答案
-
这个世界模型训练完就“退场”，机器人反而更能干了
如此“反骨”的方法，具体又是怎么实现的？
-
姚班校友主导，Claude攻克费马大定理首个完整形式化证明
最后靠Harness救回来
-
阿斯特拉的鹈鹕比较网格非常有趣
今天下午我访问了GPT-6 Astra，所以我自然用它来生成骑自行车的鹈鹕的SV--低、中、高、xHigh和最大推理水平（Astra不支持推理=无）。然后我用GPT-5.6 Sol、Terra和Luna在比较网格中渲染了这些鹈鹕，除了有趣之外，结果还出奇地有用。查看网格以获取全质量图像。这是创造GPT-6 Nova鹈鹕的文字记录。这个网格中有一些有趣的东西脱
-
Claude 完成费马大定理的首个形式化证明
📌 One-Sentence Summary Anthropic 的 Claude 模型成功利用 Lean 完成了费马大定理的形式化证明，生成了 1300 万行代码的验证文档，并自动化了 29，000 多个前置定理，为自动化数学证明验证带来了突破性进展。 📝 Summary 在计算数学领域取得了里程碑式成就，Anthropic 的 Claude AI 完成了
-
“下一个代币预测器”是LLM的错误心理模型
HN ð55· 141 评论
-
前沿推理抵达边缘：如何在 NVIDIA Jetson 上部署和优化模型
📌 One-Sentence Summary 本指南探讨了在 NVIDIA Jetson 上部署先进推理模型，重点介绍如何利用 NVFP4 量化和投机解码来显著提升性能，同时保持模型保真度。 📝 Summary 文章讨论了边缘 AI 的最新进展，特别是新的紧凑型开源模型如何使本地硬件能够执行复杂的推理任务。它详细比较了密集型 Qwen3.8-27B 和稀疏型
-
Deepseek计划在蒙古建立已知最大的华为芯片集群，拥有16万个处理器
Deepseek希望将16万个华为Ascend-950 DT芯片放入蒙古数据中心，仅用于推理，而不是训练。这将是已知最大的华为芯片集群。但生产瓶颈意味着华为可能在一年多的时间内无法交付。Deepseek计划在蒙古建立已知最大的华为芯片集群，拥有160，000个处理器的文章首先出现在The Decoder上。
-
GPT-6 Astra的基准意见不一，但其在ARC-AGI-3上的抗人类效率推动了Chollet的AGI预测
OpenAI的GPT-6 Astra得出了相互矛盾的基准判决。Epoch AI以169分领先，而人工分析对其的评分并不比其前身好，落后于Claude Fable 5.1。最大的惊喜来自ARC-AGI-3，Astra的工作效率首次超过普通人。ARC奖负责人弗朗索瓦·肖莱（François Chollet）并没有称这是AGI的证明，但他确实认为进展速度比他预期的
-
打穿 AI 智商测试！GPT-6 Astra 的符号世界模型，是突破还是钞能力刷分？
每题狂烧 360 美元，GPT-6 真的通关 AGI 了？ 作者丨高允毅 编辑丨岑 峰 OpenAI 的最强模型 GPT-6 Astra终于亮相，它在电脑操作、科研探究和安全防御上都有惊人的突破。而在众多亮眼成绩中，最引起大众热议的是它在 ARC-AGI-3 测试中，成绩逼近100%。 ARC-AGI-3 是什么？这是目前全球科技圈公认AI “智商”评测榜，
-
趋境科技与摩尔线程达成战略合作，高品质 AI Token 国产异构方案性价比超越国际先进算力
国产卡跑出高品质 AI Token 生产级性能
-
和苹果比肯定物超所值！卢伟冰确认小米18 Fold起售价过万；GPT-6 震撼发布！能自主操作电脑；字节跳动将获得约296亿美元银团贷款
要闻提示 1.OpenAI史上最强模型GPT-6 Astra发布：百万级上下文，自主操作电脑 2.首发玄戒O3！卢伟冰回应小米18 Fold定价：一万多起步，和苹果比肯定物超所值 3.年内亚洲第二大！字节跳动将获得约296亿美元银团贷款 4.好友超1万可查看单删好友？微信公关总监：有些关系，清一清，给重要的腾点位置 5.人人影视回归，APP已上架，赠老用户1
-
GPT-6 Astra是第一款让OpenAI愿意宣布“AGI时代”的型号
OpenAI发布了GPT-6 Astra，这是其迄今为止功能最强的型号。总裁格雷格·布罗克曼（Greg Brockman）表示，这标志着“AGI时代”的开始。“Astra在数学、编码和网络安全方面名列前茅，也是OpenAI在其安全框架下被评为“关键”的第一个模型。在测试过程中，它独立发现了两个之前未知的零日漏洞。文章GPT-6 Astra是OpenAI愿意宣
-
GPT-6 Astra已经到来-OpenAI认为它可能会开启AGI时代
OpenAI领导者认为，该公司擅长计算机使用和编码的下一代模型可能标志着人工智能发展的一个重要里程碑。
-
清晰性不是可解释性：思维链推理中判断的重要性和实际的重要性的比较
作者：Kevin Du、Alexander Hoyle、Laura Ruis|来自思想链模型的推理痕迹似乎为了解模型如何得出答案提供了一个清晰的窗口。越来越多的工作将它们视为此类，使用法学硕士法官来诊断错误、评估忠诚度，并通过流程奖励模型和生成式批评者提供阶梯级监督。这些实践依赖于携带有关其功能信息的推理步骤文本
-
因果概率解释的计算可行框架
作者：Rafal Urbaniak、Sam Witty、Daniel Waxman|解释具体结果为何会发生，以及哪些投入应该受到指责或赞扬，是哲学、科学和政策分析的核心。现有工具分为两大阵营。实际因果关系理论（AC）给出了原则性的结论，但仅适用于玩具大小的模型，因为计算它们需要列举反事实场景。可扩展的归因方法，例如SHAP（甚至