去年底，她一手打造的AxiomProver拿下了Putnam数学竞赛的满分。

1、亚搏手机 不是「有点紧张」那种不够用，是「送上门的钱都不赚了」那种不够用。

第1个测试是AI综合能力。亚搏手机有些活是重复的，任务不变，只有输入在变，比如每天早上总结一遍Slack消息。

2、湘潭市校园餐标后见证首学年实现零违约

比公开叙事更早一步 佟博士并不认为纳德拉和 Karp 的判断只是市场宣传。

3、隆戈丨米兰想卖，但不想低价抛售

但难的不是这三步，是中间那一地鸡毛： 分片乱序到达。

4、吉利银河E5官图发布，尺寸与吉利博越Pro相当，将是一款全球车型

当这道墙被打穿，历史就不再是沉默的档案，它变成了一种感同身受。

5、大厂边缘的中年人：融不进去，逃不出来

全世界每天都在干家务，抠出一小块，机器人就有了接近人类活动规模的数据入口。

他还提到一个细节：没人算过那个常数，估计非常小。

万事俱备，只欠东风。

6、封闭施工！三门峡天鹅湖景区发布公告

承认事情是真的。

再往前，就是他挂在嘴边的那句Words to Worlds——让视觉和语言真正在一个空间里长到一起。

7、登贝莱发力了！推射破门+6场5球，姆巴佩难了：夺冠或无缘金球奖

如今，一个致命痛点正浮出水面：造Agent的人越来越多，但底层的「AI电力」——Token的供给、调度与管控，却是一片混乱。

从积木长城 到制造业的「最后20%」 看完热闹，该看门道了。

8、欧盟对俄第21轮制裁为四年来规模最大，涉218实体或个人：超100家银行和加密货币运营商、40多艘影子舰队舰艇、参与俄远程无人机生产企业等

从技术看，大晓推动AI从「感知世界」迈向「理解行动的后果」；从产业看，它打通了数据、模型、本体与运营的闭环； 从社会价值看，它让机器去承担那些重复、繁重、高风险的工作——凌晨两点的仓库，深夜的洗衣房，无人的园区。

你跟它说过的每一句话，既是资产，某些情况下，也可能被翻开、被呈上法庭。

它不仅找到了反例背后的结构性机制，还在指导人类如何重新定义这个问题。

9、怡颗莓：网传不实内容严重损害品牌声誉及合法权益，公司已依法开展维权准备工作

当宾夕法尼亚大学沃顿商学院的副教授Edgar Dobriban试图用AI攻克这个堡垒时，事情开始变得诡异。

这几乎是，为独立创始人量身定制的利器。

10、第五届北斗规模应用国际峰会执委会第二次全体会议举行

然后是采集。

本届大赛由上海市经济和信息化委员会、上海市科学技术委员会、上海市发展和改革委员会、上海市教育委员会等多部门联合指导，复旦大学、上智院联合主办，上海未来产业基金、上海未来启点社区、祖泉研究院、上海市漕河泾新兴技术开发区发展总公司、上海大模型生态发展有限公司、内蒙古电力交易中心、华为云计算技术有限公司、上海复星医药（集团）股份有限公司、新奥科技发展有限公司、中科天机气象科技有限公司、上海博物馆、湖南省博物馆等单位协办，Datawhale、知乎、魔搭社区、CSDN、InfoQ、WaytoAGI作为生态社区合作伙伴鼎力支持。

1、活力中国调研行｜常州造“细胞咖啡机”生产干细胞药物，价格仅为进口药的1/70

为满足技术要求，需攻克透明材质识别、柔性力控等产业级难题。

2、我国越来越多的人患脑梗？医生建议：停止食用“8物”，保护大脑

真正的核心，变成停止条件设计、验证器（verifier）设计、token预算控制、多轮执行策略。

3、被坑惨了的年轻人，已经放弃找旅游搭子了

你想想看，一台Decode节点要同时协调三十个Prefill节点，这三十台芯片还可能来自不同厂家、不同代际。比利时无缘前四，名不符实太可惜！这背后说穿了：AI编程正在从「写一句话」，变成「设计一套会自己跑的系统」。

4、新坦克300售19.98万起，两种尺寸，新增Hi4-Z混动

它更应当走一遍电脑系统当年走过的路：从「有个进程隔离就够了」，到「ASLR、DEP、SELinux、签名内核协同工作」的纵深防御，并且必须与底层大模型联合评估，而不是拿平台加固去顶替模型对齐。

5、这款纯电SUV不足10万起！运动外观+半固态电池，纯电续航超600Km

今年具身智能第一次与智算并列为两大核心赛道，超过200家具身智能企业到场，人形机器人几乎挤满了整个展馆。

6、孙兴慜洛杉矶德比斩获赛季首球，一扫2026年世界杯失利阴霾

参考资料： https://x.com/testingcatalog/status/2077132529270743286 https://x.com/btibor91/status/2077079848678555932 https://help.openai.com/en/articles/6825453-chatgpt-release-notes https://openai.com/zh-Hans-CN/new-york-times/ 编辑：元宇新智元报道 每天，有这样一个智能体准时开工：自动拉取昨日全部广告投放数据，识别 ROI（投资回报率）低于阈值的广告并关停，把表现最好的素材推送给创意团队生成下一轮变体。

实测结果非常硬核。

」 但把算力聚起来只是第一步。

7、1-2后！比利时队黄金一代落幕，2大巨星告别，世界杯+欧洲杯0冠军

由中科大苏州高等研究院、新南威尔士大学等机构联合在ICML2026发布的AtomWorld，借助一系列真实原子操作任务得出结论：在文本理解、知识归纳等场景表现稳定有效的Scaling Law，落地到受物理规则约束的原子实操任务时，往往达不到预期效果。

而当同一套地基，能同时托住数字世界里如洪流般飞奔的Token，和物理世界里迈出第一步的机器人时，它就是整个智能时代前进的底盘。

8、艾草青青粽飘香 延庆乡亲乐端午

这件事当时震动了整个数学圈。

这是两件完全不同的事。

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

据官方的Agent SDK文档，这套机制的内核也十分简单： Claude评估你的提示词，调用工具去动手，拿回结果，然后重复，直到某一轮它不再调用任何工具，循环才结束。