同一场 Cyber Range 测试（1 亿 Token 额度），用 Opus 4.5 或 4.6 跑一次约 85 美元，用 GLM-5.2 约 46 美元，用 DeepSeek V4-Pro 只要 1.19 美元。

1、乐鱼电子 他还在X演示自己的循环：让Codex每5分钟醒一次，自动维护代码仓库、分派任务，部分工作全自主落地。

然而，谷歌和五角大楼是怎么合作的？ 很多人以为只是军方调用谷歌的API，谷歌还能在后台审核。乐鱼电子创始人Marcus正在解散公司，让它给投资人发最终分配通知。

2、詹姆斯也许会在本周末宣布他的决定，勇士队自视为争夺战中的黑马

但更让他无法接受的是，他发现谷歌正是DHS的云服务和AI技术供应商。

3、西班牙闷平佛得角，复制阿根廷奇迹？这是“冠军相”的第一步！

压缩，与传递。

4、伊朗拒绝特朗普停火提议，详情披露：特朗普经由伊拉克总理转交停火提议，但伊朗对这份临时协议不感兴趣

特纳成功约到了Jeff Dean共进午餐。

5、湖人惨败，小里真是个伪巨头！

但哈萨比斯没有停在这里。

大理石近距离看反射效果还不错，但存在 bug。

2026 年 5 月 23 日，万拿机器人灵巧手进入国内某知名品牌的真实仓储业务现场，参与「618」期间的分拣作业，成为全球较早将灵巧手应用于真实业务场景并开展实际作业的企业之一。

6、未来处方

数据清零了，担忧清不了零 Agentic coding工具，握着你电脑的最高权限：读文件、改代码、跑命令。

从把Claude接进美国高校的教学系统、铺开学生大使和AI社团，到今天的中小学老师，它是一步步往下扎的。

7、从冠军到四大皆空！利物浦重建全面启动，阿隆索会来安菲尔德吗

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

Karp的核心观点可以概括为： 企业不能一边向模型公司支付费用，一边帮助模型公司理解和吸收自己的核心价值。

8、1:2！输球不可怕，可怕的是图赫尔赛后的这番话，依然还在狡辩！

「但当它真的出现在我面前，我脑子里只剩一个念头——这玩意儿真的存在过。

这场风暴真正的启示在于：数学与科学发现的门槛，正在被无情地重画。

在OpenAI开发者社区，苦这个旧搜索久矣： 终于能找到那条消息了，为什么拖了这么久；那个老搜索栏，从来就没好用过；会话一多，搜旧对话就变得不可能；翻旧对话简直成了噩梦…… 这不是零星几句抱怨。

9、红旗插混中大型SUV上市！18.28万起，车长近5米，综合续航1580km

5小时的限速高墙被他一脚踹倒，用量上限如今一天一刷新，光一个周末就连重了两次。

同时，团队还采取了算子融合的方法，将其在NVIDIA H20上的推理帧率进一步提升至36.77Hz。

10、2比0泰山之后，北京国安传来3个坏消息，有隐患，主力存离队风险

给它一句「把货架第二层左边那个蓝瓶子拿过来」，它得先弄清你要哪个瓶子，再用「眼睛」看清现场，然后把这句话拆成一串动作：移到架前、伸手、抓稳、退出、送到前台。

但这个模型却在HLE上拿下了令人胆寒的99.44%！ 不仅如此，AIME 2025、GPQA Diamond等多个被视为「AI智商试金石」的Benchmark榜单，也全部被以满分或接近满分的成绩霸榜。

1、环塔拉力赛夺冠后，魏建军呼吁：中国要建立自己的赛事IP和标准

面壁是一家追求通用人工智能的大模型公司，并选了一条区别于云侧的路线：端侧。

2、加快建成武汉都市圈副中心城市重要支撑点，应城奔赴下一个五年！

现在的钛动科技是 2.0，正快速走向 3.0（智能体 + 专业模型）。

3、爱“折腾”，“造”小鹏

Loop的本质，是让Claude用定时任务调度一个能重复跑的活，每分钟、每五分钟、每天，随你定。2026年暑期档剧集开分，仅一部作品达到7.5分，张凌赫王楚然新剧倒数第一不及格」 OpenAI的Aaron Lou用内部Codex（无网络搜索）从零推导出本质相同的反例，完整写出策略与证明，还给出可复现的数学推导（从三次因式分解到仿射坐标变换）。

4、法国队领先巴拉圭却呼唤“场边拿破仑”，浪漫主义军团高歌猛进！

很多人幻想，给机器人看几个示例视频，它就能像ChatGPT写文章一样照猫画虎。

5、德国队4-5出局让主帅现形！6次换人没1个有用，诺伊尔也救不了他

经过大规模生产环境验证，这套运维智能体系统可实现运维人效提升5倍以上，关键故障处理效率提升6倍。

6、“二年级”的“苏超”，正在蓬勃生长

按照他设想，老师布置那种非用AI不可的项目，学生反而得动更多脑子、想更多新东西。

制作精良的官网、满屏术语的学术论文、详细的模型架构图，以及「我们拥有180名顶尖研究人员」的雄厚背书。

他转发了这段短片，紧跟着甩出一句话： 「在今年结束之前，Grok Imagine将制作一部全长电影版《奥德赛》——历史准确、忠于荷马的艺术。

7、美媒爆：“福特”号航母大火持续超30个小时后被扑灭，600多名水兵和船员灾后睡地板和桌上

如果一家大型国央企为了避免被单一厂商「卡脖子」，同时采购了多款国产显卡，找其他大厂做纳管和推理优化，对方是不会尽心适配其他竞品的。

让页面真正活起来的 是MCP 模型上下文协议（MCP）是Anthropic推的一套开放协议，专门解决一件事：AI怎么连上现实世界里的软件。

8、世界杯重大误判：贝林厄姆扳平球引争议，挪威投诉无果

阿里千问将作为 AI 能力集成至 Apple 智能，为 iOS、iPadOS、macOS 和 visionOS 的中国用户提供文本与图像理解、内容生成等能力。

文本润色、信息摘要、AI 消除，响应几乎没有等待感。

第一步，生成：人给出少量信息，AI生成初稿。

他们却在最需要看清楚的那一刻，被AI的门禁挡住了。