与此同时，ICLR 2026投稿量也逼近2万篇。

1、博鱼手机 清华大学计算机副研究员苏航，聚焦可恢复性——真正的智能不是不犯错，是知道怎么改回来。

当这道墙被打穿，历史就不再是沉默的档案，它变成了一种感同身受。博鱼手机最终，谷歌悄悄签下了合同。

2、“无人机沙皇”被解职引全国抗议，泽连斯基又把乌军总司令开除了

你一直以为，这就是Claude天生的好脾气。

3、拥有次轮中段预期的桑顿 火箭为何为了他提升顺位 到底有何玄机

参考资料： https://x.com/demishassabis/status/2076957440109625718?s=20 编辑：大卫 所罗门新智元报道 【新智元导读】大模型在原子操作任务中遭遇瓶颈。

4、WTA争议新政：所有球员必须完成基因检测才能参赛

结合一系列技术优化，无问芯穹的单位Token推理成本，硬是在一年内，整整降了10倍。

5、咱们，人人皆勇士！北京见！

但ChatGPT问世三年半，教育却几乎没变。

」 有人说，我很少见到科学圈的X像现在这样，陷入如此疯狂的兴奋与巨大的震惊之中。

比如即将开幕的ICM2026的45分钟报告人，拉马努金奖、科尔数论奖和数学新视野奖得主唐云清；IAS冯·诺依曼研究员、玛丽亚姆·米尔扎哈尼新前沿奖得主张明嘉；本科期间发四大，曾获世界华人数学家联盟（ICCM）鲍剑文最佳论文奖的张盛桐；已发多篇数学四大的李泱…… 奥数的AlphaGO时刻 但今年的上海考场外，还站着一个没有参赛资格的选手——AI。

6、解码荣昌生物扭亏为盈：一家“纯血”创新药企的高度“确定性”

这是一道量子信息方向的题：要围绕Depolarizing噪声对Bell态纠缠的影响做模拟研究。

GPT-5.6 Sol Ultra于7月9日全量放开，7月10日，OpenAI宣布GPT-5.6 Sol Ultra产出了Cycle Double Cover猜想的完整证明。

7、翻译：杨瀚森生日我送他英语书学习，一赛季过去连塑封都没拆_网易订阅

现在，账号粉丝已经突破320万，每个视频都有上百万的播放量。

从π0一路到π0.7，PI要让一个模型看懂同一堆数据里的不同意图和质量。

8、俄罗斯被禁赛4年 无缘东京奥运会及卡塔尔世界杯_网易体育

「这是我真正见过的最差结果。

智能体 正在改写「干活」这件事 这背后，是「干活」这件事本身变了。

3 月的偷跑版虽然不到一天光速下线了，但它提前暴露了国行 Apple 智能的能力边界：端侧模型跑得快、守得住隐私，但深度和精度必须要靠云端模型补齐。

9、破2是怎么练成的：塞巴斯蒂安·萨维的故事｜人类“破二”系列报道04

说好的教育文艺复兴 为什么没来 困惑的，不止奥特曼一个。

据作者实测，财报里的表格、PDF里嵌的图、架构图、仪表盘截图，以往Opus 4.8偶尔会认错列、看混坐标轴的地方，Fable 5能稳定读对。

10、名记：湖人和篮网有意签下米切尔-罗宾逊

经济学者Jeremy Nguyen评论「Codex和Claude Code同一天重置额度」时说，也许多年以后，我们会跟年轻人讲起早期这场「智能体token大战」，讲token当年被补贴得有多疯。

由此，AI Ping串联起生产端与使用端，通过统一API屏蔽了多厂商差异，让中小开发者也能享受「企业级VIP」的稳定Token服务。

1、罗德里拿金球，梅西8球让位？TA榜单把世界杯真相扒了个干净

但是，未来电动汽车全面取代燃油车，是不可逆的必然趋势。

2、2026年CBA选秀大会落地首钢园  7月28日共赴新程！

而真正的创造性跳跃，需要一个有弹性的大脑。

3、孙兴慜应该打替补或下煤窑？好歹等人家满35岁行不行

真实路口基础动作对比 ReDA共包含约28.6万条时序样本，其中约12.8万条为恢复数据。切尔西领跑争夺战！目标锁定波斯尼亚18岁天才 身价3000万镑模型写了全部的代码，他一行都不碰。

4、巴黎卫冕欧冠！最贵的「豪门生意」开始成形

过去几年，大模型领域最成功的经验总结莫过于「Scaling Law（缩放定律）」。

5、看上周琦老对手，朱芳雨又捡辽篮破烂？内线空虚，杜锋难忍焦泊乔

Navos 目前客户端支持 macOS（https://navoscdn.tec-do.com/public/package/electron/latest/navos-mac-arm64.dmg）。

6、琼斯首秀价值超过100万奖金 新元素预示山东男篮的未来

然后呢？ 那个宣布孤儿院开张的女子，不是真的Lily Jay。

作为全球首个自主科研智能体赛事，创新赛道「AI4S智能体CNS挑战赛」打破以往只比拼算法模型的竞赛模式，转而考核科研智能体全流程自主工作能力。

这套工作流落地为五个核心智能体。

7、WCBA全明星周末

一种是烧进模型权重里的知识，它读过的大半个互联网，凝固成了先天常识，像一部无比渊博却再也不会更新的百科全书。

回头看今年4月，GPT-5.4 Pro在80分钟里解掉了Erdős 1196，用的是von Mangoldt函数。

8、WTA争议新政：所有球员必须完成基因检测才能参赛

这一现状，进一步凸显了 AI 科研的两大核心瓶颈，制约着技术深度落地： 一方面，大模型可快速推演生成海量科研方案，但线下实验验证效率偏低、进度滞后，逐步形成方案堆积、验证滞后的行业痛点； 另一方面，科研试错经验、实验数据缺乏系统化留存渠道，导致科研工作容易陷入重复试错、低效迭代的状态。

用触发器指示器区分含触发器的中毒样本与干净样本。

编程也一样，代码AI一秒就能生成，可亲手把逻辑搭起来的过程，锻炼的是大脑。

在开发复古游戏上，据网友实测，Kimi K3以一半的成本击败了Opus 4.8。