AI HOT 精选OpenAI 发布 GPT-6 Sol 和 Luna,API 价格比 GPT-5.6…97·HACKER NEWS 首页OpenAI 发布 GPT-6 Sol 和 Luna,API 价格砍半,主打便宜又能打96·AI HOT 精选OpenAI 在 OpenRouter 上架 GPT-6 Sol 和 Luna,价格直…95·OPENAI 博客OpenAI 成立数学顾问团,自家模型已解出 100 多道未解难题95·AI HOT 精选OpenAI 在 ChatGPT Work 和 Codex 里推送了 GPT-6 So…90·AI HOT 精选五角大楼调查:操作员太信 Maven AI 的标注,导致美军误炸伊朗学校88·AI HOT 精选Claude Opus 5.5 发布:价格砍半、速度提三成,但安全演习中约一半运行出现…88·AI HOT 精选Anthropic 发布 Claude Opus 5.5:性能对标 Fable 5.1…88·HACKER NEWS 首页五角大楼报告:过度依赖 AI 导致美军导弹误炸伊朗学校88·AI HOT 精选OpenAI 发了 GPT-6 Sol 和 Luna,API 价格直接砍半88·AI HOT 精选OpenAI 发了 GPT-6 Sol 和 GPT-6 Luna,API 价格比 GP…88·AI HOT 精选Claude Opus 5.5 在智能评测中拿了最高分 58,还降了 20% 的价格88·AI HOT 精选OpenAI 发布 GPT-6 Sol 和 Luna,API 价格比 GPT-5.6…97·HACKER NEWS 首页OpenAI 发布 GPT-6 Sol 和 Luna,API 价格砍半,主打便宜又能打96·AI HOT 精选OpenAI 在 OpenRouter 上架 GPT-6 Sol 和 Luna,价格直…95·OPENAI 博客OpenAI 成立数学顾问团,自家模型已解出 100 多道未解难题95·AI HOT 精选OpenAI 在 ChatGPT Work 和 Codex 里推送了 GPT-6 So…90·AI HOT 精选五角大楼调查:操作员太信 Maven AI 的标注,导致美军误炸伊朗学校88·AI HOT 精选Claude Opus 5.5 发布:价格砍半、速度提三成,但安全演习中约一半运行出现…88·AI HOT 精选Anthropic 发布 Claude Opus 5.5:性能对标 Fable 5.1…88·HACKER NEWS 首页五角大楼报告:过度依赖 AI 导致美军导弹误炸伊朗学校88·AI HOT 精选OpenAI 发了 GPT-6 Sol 和 Luna,API 价格直接砍半88·AI HOT 精选OpenAI 发了 GPT-6 Sol 和 GPT-6 Luna,API 价格比 GP…88·AI HOT 精选Claude Opus 5.5 在智能评测中拿了最高分 58,还降了 20% 的价格88·AI HOT 精选OpenAI 发布 GPT-6 Sol 和 Luna,API 价格比 GPT-5.6…97·HACKER NEWS 首页OpenAI 发布 GPT-6 Sol 和 Luna,API 价格砍半,主打便宜又能打96·AI HOT 精选OpenAI 在 OpenRouter 上架 GPT-6 Sol 和 Luna,价格直…95·OPENAI 博客OpenAI 成立数学顾问团,自家模型已解出 100 多道未解难题95·AI HOT 精选OpenAI 在 ChatGPT Work 和 Codex 里推送了 GPT-6 So…90·AI HOT 精选五角大楼调查:操作员太信 Maven AI 的标注,导致美军误炸伊朗学校88·AI HOT 精选Claude Opus 5.5 发布:价格砍半、速度提三成,但安全演习中约一半运行出现…88·AI HOT 精选Anthropic 发布 Claude Opus 5.5:性能对标 Fable 5.1…88·HACKER NEWS 首页五角大楼报告:过度依赖 AI 导致美军导弹误炸伊朗学校88·AI HOT 精选OpenAI 发了 GPT-6 Sol 和 Luna,API 价格直接砍半88·AI HOT 精选OpenAI 发了 GPT-6 Sol 和 GPT-6 Luna,API 价格比 GP…88·AI HOT 精选Claude Opus 5.5 在智能评测中拿了最高分 58,还降了 20% 的价格88·
十个 Claude Opus 5.5 智能体花 15 小时协作,搞出了一个有正式数学证明的最短路径算法 C-HD
Vals 让十个 Claude Opus 5.5 智能体在留言板上协作,15 小时内产出了一个叫 C-HD 的新最短路径算法,并用 Lean 语言给出了完整的形式化证明。算法处理的是有向图、非负实数权重的精确最短路径问题。它的核心思路是:在局部搜索时,把那些没让距离变短的边也算进搜索次数上限,从而限制重复劳动。在边数 m 不超过 n⌊(log₂ n)^...
五角大楼一份调查报告指出,2025 年美军一次导弹袭击误炸了伊朗一所学校,核心原因是人太相信 AI 的目标识别结果。当时系统把学校错标成军事设施,操作员只有 11 秒的决策窗口,最终没有推翻机器的判断。报告点名了 Palantir 的 Maven 系统和 Google 的 AI 工具,但没具体说清是哪个环节出的错。这次不是 AI 自主开火,而是人机协作...
Anthropic 工程师实测 Claude Opus 5.5:移植 HAProxy 比 Fable 5.1 快 21%,成本砍半
Anthropic 的 Boris Cherny 把 Claude Opus 5.5 当主力模型用了好几周。他拿一个实战任务对比:让 Opus 5.5 和 Fable 5.1 分别把 HAProxy 从 C 语言移植到 Rust。两个模型都几乎通过了全部测试,但 Opus 5.5 只用了 9.5 小时就跑完,Fable 5.1 花了 12 小时,而且 ...
Max Woolf 用了一年多时间验证一件事:给 AI 代理定一条硬规矩——每次改代码必须至少提速 5%,否则回滚——然后让它自己去迭代优化 Rust。从 Claude Opus 4.5 开始,这套玩法在 UMAP 等算法上拿到了 2 到 20 倍的加速,对比的是已经打磨多年的成熟库,而且全程没碰 unsafe 代码。文章把提示词和基准测试结果都贴出来...
安全研究员 Peter James 让 Meta 的 AI 助手 Muse 把能看到的文件打包发到他的 Google Drive,结果收到了一个 2.7 GB 的压缩包,解压后 6.8 GB。里面是分配给这次会话的完整 Linux 运行环境,包括 Ubuntu 系统文件、Muse 的内部文档、113 个子代理的运行记录、SSH 密钥和记忆文件。他没有公...
404 Media 拿到内部文件并采访了三名外包标注员。OpenAI 雇了上万人给 ChatGPT 的回答打分,但很多人直接用 AI 生成标注内容。规则禁止使用任何 AI 工具,连 Grammarly 和 AI 翻译都不行。审核员靠重复用词、AI 味儿的标点(比如滥用破折号)和交活儿太快来抓人,被抓到立刻清退。一个被开掉的人说,自己只是想偷点懒,结果翻...
JetBrains 把过去半年在 AI 辅助开发上的实验整合成了 Air,一套不再只绑在 IDE 上的产品体系。它面向开发者、团队和公司三层,核心思路是让 AI 编程这件事能跨工具、跨服务跑起来,并且明确押注未来会是多家模型和供应商并存的局面。文章确认了 Central CLI、共享上下文、云端智能体、自动化流程和 AI 成本控制这些功能已经在铺开,但...
本周联合国大会把 AI 安全列为和气候变化并列的生存风险,但中美都没签那份呼吁人类控制 AI 的 22 国宣言。习近平跳过联合国直接去华盛顿见特朗普,两人要谈 AI 主导权;两国刚讨论了一套互相通报 AI 安全风险的机制。联合国秘书长古特雷斯承认地缘分歧让监管更难,专家说得更直白:AI 已经是中美两家的事,联合国插不上手。OpenAI 的奥特曼周三在安...