他们把Codex Sol MAX接在一个自研的CLI工具上，专门啃那种需要极复杂计算和深度推理的活儿。

1、米兰体育 今年5月，OpenAI公布了一个结果：他们的一个通用推理模型，自主推翻了一个源自Erdős、悬了将近80年的猜想，菲尔兹奖得主高尔斯（Tim Gowers）在配套论文里称之为AI数学的一座里程碑。

这句话最精准的收信人，是克里斯托弗·诺兰。米兰体育整段对话全部从这两帧出发生成，空间关系就再也不会漂移。

2、死亡之组排定座次，日本硬碰巴西，淘汰赛好看了

高德正式宣布其全栈具身技术体系ABot 完成升级，一次性发布了五款新模型（N1、M0.5、ER、AgentOS、C0），并在17项权威基准中拿下SOTA。

3、江西省金融控股集团原党委书记、董事长齐伟被开除党籍

参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。

4、两点原因分析詹姆斯为啥还不退役？其中场下因素是主因

」 奥特曼现身斯坦福CS153课程谈AI时代教育，坦言自己低估了教育系统变革的速度。

5、无法理解！文科609分，位次2010，提前被双非锁定，女生手写日记曝原因

参考资料： WAIC惊现最会赚钱的AI智能体，钛动科技Navos 2.0带来AI时代商业新玩法新智元报道 就在刚刚，Anthropic官宣：Claude Fable 5，宣布永久可用。

一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文： 大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题，也感谢我的另一位好友Fable在世界杯决赛期间还在工作。

一个人用了印地语，另一个人用了俄语。

6、拆解广药集团百亿科创转型：怎么转、投哪里、够不够？

真正的重头戏在后面。

吵了两周，这场争论真正吵出来的，不是「AI能不能做数学」，是「难」这个字要怎么定义。

7、善恶有报！吴绮莉公开成龙拒认女儿原因，终究为知三当三吃尽苦头

常年在加沙工作的人道机构，压根没听说过它。

世界宣明会澳大利亚前CEO Tim Costello一针见血：孤儿院里孩子的照片，最能撬动捐款者的心。

8、重磅！CBA开启升降级，四川江苏队危，香港河南有望升入CBA！

而WAM-TTT对数据的要求低到了极致：纯视频输入，不用任何标签！ 它将人类视频视为「无动作」（Action-free）的数据。

研究人员进一步证明了一个关键结论：上述加权目标等价于在一个新的掩码分布下做普通训练。

整个过程在同一个系统里完美闭环，不需要人类中途接力。

9、广东男篮速递！杜润旺三年顶薪签约南京同曦，徐杰办训练营指导小球员，胡明轩参加吴前婚礼

2026年1月，美国国土安全部的特工在街头枪杀了至少两名平民。

一手实测 AI Coding已到这个地步了？ 吹得再神，不如用实战说话。

10、六代进化，三十而励，引领全球卡车行业！奔驰Actros的进化史回顾

压缩一下，大概是这样： 单个HTML文件，Three.js，第一人称。

放大看，字字清晰。

1、娱乐圈3对零绯闻清流夫妻！低调相守半生，真实恩爱不演戏

结果出来，直接懵了。

2、专访丨“在现代化道路上，中国与全球南方国家并肩同行”——访科特迪瓦发展问题专家比赫

OpenAI大手一挥，把全员额度统统清零重置。

3、杨瀚森能去你不能去？曝徐昕不代表马刺打NBA夏联 他的选择对吗

实测显示，首Token延迟（TTFT）直接降低了51.5%，单Token成本再降37.5%。守护舌尖安全、助力双碳目标 佘远斌院士成都畅谈硬核化学这已经比早期「购买大模型、部署Copilot、提高员工效率」的叙事向前走了一大步。

4、那些被引路人温暖的时光

被触发后，模型会结合当前用户请求，动态生成符合攻击者预设目标、却又自然流畅的响应。

5、盐城奇易骑科技有限公司成立，注册资本450万美元

要用上这个功能，Claude Code得升到v2.1.209及以上，Pro、Max、Team、Enterprise都支持。

6、谢贤小49岁女友身材火辣，回乡转型网红谋发展

此前在 WWDC 26 上，苹果展示了与谷歌合作、基于 Gemini 打造的新一代 Siri AI，支持跨应用上下文感知和自然对话，甚至能在通话中实时调取邮件和日历信息。

等有人想起来做实验，已经是两年多以后了。

文件夹中可以放如下内容：一页纸的业务和优先事项概要、常干活儿的操作规程、在办项目的关键信息、常引用的战略文档，再加一份决策日志。

7、米格尔·罗曼伤愈复出，塞尔塔转会动态频繁

而机器人要进中国家庭，得先在中国房子里练。

最让人头皮发麻的，是另一位研究者在自己电脑上复现时的发现：日志里记着339次自动上传，其中一次，上传对象是他整个电脑的主目录。

8、川美原院长 庞茂琨油画人物写生新作（2026.06）

我们就是来解决这一层的。

人们在晨光中起床，憧憬着对岸的新生活，计划着美好的未来。

这家神秘机构仿佛在对全世界宣告：旧时代的王座已经崩塌，新神已经降临。

那里面可能有SSH密钥、密码管理器、浏览器数据……你数字生活的全部家当。