一个有着87年历史的核心数学难题问题，就这样被 Fable 5在一个周日的傍晚轻松解决。

1、亚搏手机 Flash-Lite现在已经在Gemini App里上线，还将陆续进入谷歌搜索。

1950年提出，此后七十多年里它一直是判断机器智能的黄金标准。亚搏手机但至少，此芯科技已经把棋盘摆好了。

2、I'm back！C罗赛后最新回应来了，过去一周艰难且黑暗

再算上独立交卷的AxiomProver，整整四方势力全部登顶满分。

3、从水货到传奇，13年拿36冠军，蒂亚戈席尔瓦没有看错人

Qoder「三层护航」，轻松上手 而且，为了让这种「贴身保镖」的体验不打扰开发者的心流，Qoder Desktop设计了一个极其优雅的三层防御体系。

4、视频丨中国海警水炮喷射驱离菲侵权船只 现场画面公布

2.8万亿参数的MoE模型，一口气喷涌出154万token，是Sol的6.5倍。

5、调查发现：血糖最怕的早餐，豆浆排第4，第一名很多人天天都在吃

第一套是 70 项窄任务，覆盖漏洞研究、逆向工程、Web 渗透、密码学四个方向，按难度分四级，从「有技术背景的非专业人士」到「十年以上经验的专家」。

作为参照，过去七年IMO，4347名人类选手参赛，只有30人拿过满分——比例0.69%。

Bloom是第一个给出实质评价的人。

6、昼夜不停，他们守护山海潍坊，潍坊市保安行业主题宣传日活动举行

算得清、接得快、管得住——这是企业AI下半场的入场券，也正是「星火Token Factory」想替企业拿到的东西。

因为它代表的，是AI4S的一次范式跃迁，科研工作流第一次有机会被真正重塑： AI把繁琐的活儿接过去，科研人得以把更多时间，留给真正的科学问题。

7、除了小黑裙，“这条裙子”夏天一定要拥有！高级又气质

现在，时代的倒计时已经开始。

项目主页：https://inceptionwang.github.io/PolicyTrim/ 论文链接：https://arxiv.org/abs/2606.22540 代码链接：https://github.com/INCEPTIONwang/PolicyTrim 模型链接：https://huggingface.co/INCEPTIONwang/PolicyTrim 新方法实现了： 3×动作chunk利用率，更长horizon可靠执行； 51.4%物理步数减少，压缩冗余修正动作； 5.83×端到端最高加速，LIBERO Object/π0.5； 从「算得更快」到「做得更快」 PolicyTrim的核心目标不是替代计算侧加速，而是补上另一个被忽视的维度：减少完成任务所需的前向推理次数次数。

8、央行：将在7月29日至7月31日每日开展6000亿元、8月3日开展3000亿元隔夜逆回购操作

李述昊的判断走得很远：全球最终会有 1000 亿个智能体，普通人每人 10 个。

这三件事指向同一个结论：企业AI的重心，正在从「模型能力」转向「AI基础设施运营」。

华科大团队给出的答案是否定的。

9、桃子再次成为关注对象！多名院士发现：糖尿病吃桃子，有5变化

同一代 AI 工具确实也在加速防御端的工作。

两件事拼到一起 AI开始「造软件」 Artifacts负责生成界面，MCP负责连上数据。

10、张本智和铭记父亲教诲，目标击败王楚钦，剑指2026亚运会完成夙愿复仇

结语 AtomWorld不只是一套标准化评测基准，更像一面观测镜，直观展现出当前AI for Science发展中的关键问题：大模型可以解释材料结构性质，并不意味着它已经能够可靠修改材料结构；可以读懂元素周期表，并不意味着它能够在三维空间中稳定执行一次原子级操作。

作为「社区的社区」，GDPS与「大牛」「牛犊」开发者们共同构建「牛人社」，致力于发现「未来的未来」。

1、破解世界级勘探开发难题，我国首个陆相断陷湖盆页岩油示范区建成

「工程师」这个角色，在Boris这儿也被改写了： 模型负责写代码，他负责搭系统、做验收。

2、阿根廷全场2脚射门！1分钟2次错失绝平，0-1后梅西痛失冠军+金靴

然后她辞职了，去了Anthropic。

3、红牌缓期一年比分绝不赊账，比利时4比1大胜美国，国际足联失算

真正决定机器人有没有产业价值的，不是它像不像人，而是能不能快速适应复杂环境、完成真实任务、用足够低的成本实现部署。打造消费新场景 培育消费新业态——我国消费潜力将持续释放过去，它交给你的是文本、是代码片段，是一段你还得自己接着用的东西。

4、《求是》杂志刊发信长星文章：树牢正确政绩观必须注重打基础利长远

前者靠语言表征就能大规模积累，后者还在满世界找「经验的通用表征」。

5、领克07GT预售，带拖挂的插混旅行，16.58万起贵吗？

每年IMO成绩一出，总有人要把人类的答卷和AI的答卷放在一起比。

6、能活到90岁以上的高血压患者，大多都在40岁时，掌握了4种规律

第二场：粗数据便宜但难学，精数据好用难量产 常规方法是「留成功、删失败」，像只给孩子看标准字帖。

未来某天，全球开发者都能以极低成本调用接近顶级闭源模型的智能。

由于Transformer的注意力开销随token数量的平方走，token翻一倍，算力就是四倍。

7、登贝莱又爆发了，姆巴佩的金球奖之路似乎再次悬了

」师天麾说。

在场景端，无论是高德途途的场景验证，还是城市级长程任务导航的实际案例，高德的体系是在真实泥泞的路上跑出来的。

8、奈雪五年修成仙股：上市首日19.8港元如今0.62，持400万股股东当面问"发一块钱行不行"

今年3月，这家公司完成了2亿美元A轮融资。

单一计数器，一刀斩断。

在H3-E418展位，一家来自深圳的企业——深圳小象电动科技有限公司，正带着被称为机器人与新能源汽车「心脏」的硬核黑科技，向世界宣告中国底层动力技术的全面崛起。

先上手，感受一下什么叫 「懂你的上下文」 说再多概念也不如亲手试一把。