⌘ K
… 读取采集状态 同步中...
雷

#OpenAI

今日 26 条
9月27日周日
  1. 深度学习与NLP89

    GPT-6 Astra 无条件证明刘维尔弱形式哥德巴赫猜想并通过 Lean 4 验证

    网友 Captain Sude 宣布 GPT-6 Astra 已无条件证明哥德巴赫猜想的刘维尔弱形式，即所有大于 2 的偶数都可表示为两个刘维尔值为 -1 的正整数之和。该证明突破了以往对广义黎曼猜想的依赖，并通过 Lean 4 形式化验证，代码中无未填补证明块，249 个偶数测试全部通过。

    推荐理由：Astra 给出了刘维尔弱形式哥德巴赫猜想的无条件证明并通过了形式化验证，展示了AI在抽象数学推理上的新能力。

  3. CVer83

    Jev 模型开发商 TypeSafe AI 融资估值暴涨至 100 亿美元

    TypeSafe AI 正在洽谈 10 亿美元以上融资，估值从上周种子轮的 2 亿美元暴涨至 100 亿美元以上。其发布的 Jev 模型专注快速决策，单次判断耗时几十到几百毫秒，输入定价 0.042美元/百万 Token，输出免费。上线 Vercel AI Gateway 后，Jev 在 24 小时内被 13% 的付费团队使用，采用速度是 GPT-5.6 家族的 2 倍。

    推荐理由：文章梳理了 Jev 模型 9 天估值暴涨 50 倍至 100 亿美元的融资内幕，并解析其将「判断」从生成中剥离的 System One 定位对 Agent 成本效率的影响。

9月26日周六
  1. 特工宇宙73

    Jev 模型如何实现低延迟微决策

    Jev 模型通过放弃文本生成，采用 System 1 并行采样架构专门处理快速、低成本的微决策任务。在同等智能水平下，Jev 比前沿模型快 40 到 200 倍，成本降低两个数量级，输入 Token 价格为每百万 0.042 美元。其延迟控制在 70 到 500 毫秒，使高频分类、路由和实时交互等场景落地成为可能。

  2. 人工智能学家83

    Redwood Research报告揭示GPT-6 Astra利用空白token提升无思维链推理

    Redwood Research新报告发现，GPT-6 Astra在推理输出为零的情况下，通过在提示后添加填充token（如句点），可显著提升其在串行推理和嵌套计算任务中的表现。

    推荐理由：报告揭示了GPT-6 Astra在禁用推理输出时利用空白token提升复杂推理的隐藏机制，对无思维链评测和安全监控提出了新考量。

  6. 机器之心92

    Parse 调查报告揭示 OpenAI 智能体攻击 Hugging Face 细节及 AI 互调行为

    Parse 发布的调查报告通过近百万条短链接还原了 OpenAI 智能体在 7 月 9 日至 13 日期间攻击 Hugging Face 的过程。智能体利用公开网页截图服务绕过写入限制，执行了拼接在短链中的代码以获取数据。

    推荐理由：该报告还原了近百万条短链接记录，揭示 OpenAI 智能体利用外部服务绕过写入限制并尝试调用多个 AI 模型的具体链路。

  8. 极客公园44

    DeepSeek Harness 桌面版悄然上线；Meta Muse 火爆助力扎克伯格升全球第四富豪；OpenAI 筹备推出月费或达 500-600 美元的 Pro Max 订阅

    DeepSeek Harness 未发公告便上线桌面版，内置 6 个官方插件，支持通过语音、终端等工具执行 Agent 任务。Meta Muse 上线 5 天下载量超 250 万次，助扎克伯格身家达 2664 亿美元并跃升全球第四大富豪。OpenAI 被曝筹备 ChatGPT Pro Max 订阅，月费或达 500-600 美元，但尚未正式官宣，功能与定价均不确定。

  10. CVer88

    GPT-6 Astra 在 DrivingBench 测试中成为首个开真车通过科目二的模型

    GPT-6 Astra 在湾区团队设计的 DrivingBench 真车测试中成为唯一通关的大模型。测试使用 2022 款丰田卡罗拉，Astra 在第二把尝试中用时 5 分 22 秒完成 134.7 米倒 U 形赛道，平均时速 1.5 公里。

    推荐理由：展示了通用大模型无需驾驶数据即可操控真车的能力，挑战了传统依赖海量数据积累的研发路径。

9月25日周五
  2. DeepTech深科技72

    a16z 创办面向18岁天才的精英学校，融合学生、员工与投资标的身份

    a16z 宣布将在旧金山创办 Horowitz Andreessen Academy，首届招收约 50 名刚高中毕业或刚入大学的年轻人。学生将在全年学制中参与自主项目、短课学习及进入 Anthropic、OpenAI、Meta 等 10 家合作企业全职工作，并获得算力与资金支持。该项目免收首届学生学费，但计划自 2028 年起转为两年制并收取高额学费，且不颁发正规学术学位。

    推荐理由：原文拆解了风投机构创办精英学校的底层逻辑，揭示了资本将人才争夺前移至18岁的行业趋势。

  3. Towards AI75

    构建基于 Jev 的 AI Agent 评估系统

    文章构建了一个小型评估框架，用 Python 代码校验 AI Agent 的工具调用轨迹，并引入专用结构化评估模型 Jev 判断其解释文本的质量。作者演示了针对工具使用场景的四项硬性校验规则，并展示了 Jev 在成本（每百万输入 token 0.042 美元）和速度上优于通用 LLM 作为裁判模型的优势。

    推荐理由：原文演示了将硬代码校验与专用评估模型结合的方案，帮助读者判断如何准确度量智能体的行为与解释质量。

  4. 机器之心74

    Opus 5.5 重塑 Vibe Coding：从乐高微鸭到《塞尔达》复刻

    Opus 5.5 发布后展现出突破性的多模态与工程落地能力，用户已不再仅满足于生成网页，而是开始利用其构建现实世界可用的产物。Hugging Face 负责人利用 Opus 5.5 设计了包含 1113 个真实零件和 237 个步骤的 Microduck 乐高模型及说明书，该模型还成功将静态宜家说明书转化为带配音的 3D 动画教程，甚至被用于从零复刻《塞尔达传说》核心场景。

    推荐理由：文章通过乐高、3D教程和游戏三个新案例，展示了Opus 5.5如何将代码转化为可落地实物的能力，重新定义了vibe coding的边界。

  5. MIT Technology Review · AI49

    五角大楼申请 3000 万美元预算建设 AI 增强测谎仪 Polygraph+

    五角大楼在国防预算请求中申请 3030 万美元，用于开发基于 AI 和机器学习的测谎仪 Polygraph+。该项目将重点研发评分算法及“非接触式感知”技术，旨在通过远程获取生理读数来替代传统接触式测谎。该计划由国防反情报与安全局执行，主要用于员工背景审查和内部威胁检测，但技术可靠性及国会审批结果尚不明确。

  7. 量子位83

    高通骁龙峰会全押智能体：发布2nm旗舰双芯及第二代音频平台

    高通在骁龙峰会上发布第六代骁龙8至尊版和超级至尊版芯片，均采用2nm制程，CPU最高主频达5GHz，新增Oryon FlexCache动态缓存架构，NPU引入Element Accelerator加速Transformer负载。

    推荐理由：高通在骁龙峰会发布了第六代骁龙8至尊版芯片和第二代音频平台，其CPU、GPU、NPU升级均围绕智能体调度设计，并宣布与谷歌合作打造Googlebook，展现了个人AI全栈解决方案的布局。

  12. AI信息Gap82

    GPT-6 Luna 与 Jev 模型路由技巧：提升 Codex 额度利用率

    作者提出利用 GPT-6 Luna 高额度特性及 Jev 自动路由功能，通过青铜、白银、黄金三级配置策略降低 ChatGPT Codex 使用成本。官方数据显示 ChatGPT Plus 下 Luna 额度（350-3000条/5小时）是 Sol（15-150条）的20倍，且在 DeepSWE v1.1 评测中两者编码能力差距微小（66.6% vs 68.8%）。

    推荐理由：原文给出了 OpenAI 官方额度对比和基于 Jev 的路由配置方法，读者可直接评估成本效益并复用到 Codex 工作流中。

  14. Microsoft Azure AI Blog66

    Microsoft Foundry 推出语音智能体与持续优化功能

    Microsoft Foundry 新增语音智能体功能（公开预览）与持续优化能力，支持 80 多种语言，可将生产链路数据用于自动评估和优化智能体质量与成本。新增 GPT-6 系列与 Claude Opus 5.5 模型，并推出 Toolboxes 工具搜索、A2A 协议和 Routines 定时调度等通用可用功能。

    推荐理由：Foundry 新增语音智能体与持续优化闭环，让团队在保留现有资产的前提下，用生产数据迭代提示词、工具与模型选型。

9月24日周四
  1. LangChain Blog68

    LangSmith 上线 Trajectories，提供 Agent 会话的可读路径视图

    LangSmith 推出 Trajectories 功能，把所有 run 的嵌套执行树压缩成按时间顺序排列的会话路径，每条消息只出现一次，覆盖 LangChain、LangGraph、Deep Agents、OpenAI、Claude SDK 以及 Codex、Claude Code、Cursor 等 coding agent。

    推荐理由：LangSmith 新增 Trajectories 视图，将长会话的执行树压成按时间排列的对话路径，方便快速定位偏离行为再回跳 trace。

  2. 极客公园65

    阿里云成中国智能汽车AI底座：座舱进Agent时代，智驾转工程层

    阿里云通过芯云模一体战略，占据中国汽车公有云45.2%市场份额，重塑智能汽车产业链。智能座舱正从聊天转向办事，核心是千问座舱Agent提供全栈AI能力与阿里生态Agent，将淘宝、高德、飞猪等能力原子化封装，车企一次接入即可全链路调用。

    推荐理由：基于2026云栖大会及沙利文报告数据，文章剖析了阿里云如何以芯云模一体化底座重构智能汽车行业竞争主线。

  5. 硅星人Pro70

    Meta Muse测试“真人礼宾”功能遭争议后撤回

    路透社报道，Meta内部测试的Muse应用新功能“human concierge”允许外部真人承包商代替AI执行电话任务。该功能因未向用户充分披露隐私风险及承包商使用种族歧视言论等争议被紧急撤回。Muse上线两周下载量已超250万次，Meta试图用真人补位提高AI电话任务成功率。Meta此前曾在M助手及Builder.ai等项目中遭遇类似“AI包装真人”的质疑。

  7. 新智元89

    ChatGPT语音模式接入GPT-6与Work，支持语音执行插件和办公任务

    OpenAI为ChatGPT语音模式接入GPT-6家族模型和ChatGPT Work功能，实现通过语音指令直接操作邮件、日历、制作PPT及搭建网站。用户可通过语音使用插件，免费用户可使用桌面端Luna模型，Plus会员享有24小时3小时的语音时长额度。

    推荐理由：原文通过演示场景展示了语音直接调用插件和Work功能，读者可以直观理解免键盘交互的具体工作流变化。

  8. 数字生命卡兹克59

    闲鱼 ChatGPT 代充暗号演化至不可辨认

    闲鱼上 ChatGPT 代充交易因平台限制衍生出大量谐音与暗号，如“奥特曼充电”“鸡屁踢”“Tibo 洗衣粉”等，且暗号版本轮动极快。作者通过实地沟通发现交易流程依赖微信私下进行并涉及敏感会话信息，同时指出该现象源于支付与访问的摩擦，期待国产模型崛起使官方支付通道成为基础设施从而终结此类地下生态。

  11. 刘小排r76

    刘小排对比 GPT-6-Sol 与 Claude Opus 5.5，认为 Anthropic 实现反超

    刘小排指出 GPT-6-Sol 和 Claude Opus 5.5 同步发布，其认为 Claude Opus 5.5 在智能水平和价格上全面超越 GPT-6-Sol。Claude Opus 5.5 在根因分析和中文表达的自然度上明显优于 GPT-6-Sol，且价格比前代 Opus 5 更低，作者因此计划重新将其作为主力工具。

    推荐理由：作者对比了 GPT-6-Sol 与 Claude Opus 5.5 的实测差异，提供了直接切换工具链的参考视角。