虽然前有1982年获奖的丘成桐，后有2006年获奖的陶哲轩，但王虹和邓煜，是中国籍数学家第一次拿下数学领域至高大奖，并且一炮双响。

1、人人体育 真机数据自然是所有人求知若渴的，但无法Scaling。

Capraro把这个现象称为“核查悬置崩塌了。人人体育Infra这块也招了不少。

2、小票根点燃烟火气

问他希望怎么被记住。

3、全国减重训练营被带火！大体重博主花胖3个月减重80斤，阿福喊他保护膝盖

过去几年，整个具身智能行业普遍追求模型参数、评测榜单，似乎拥有更好的模型，就等于拥有最强的机器人大脑。

4、贝塞斯达确认:《湮灭重制版》Switch 2版含优化,PC玩家也许能等到

Acrab没有把GΞLIX 1定义为一颗传统AI处理器，而是将它作为端侧AI时代的计算平台。

5、105比72狂胜33分！广东掀翻辽篮苦主晋级：锁定第1冲冠稳了？

发生了什么、谁说了什么、争议点在哪、后续进展如何，全都给你捋好了，甚至还附上了新闻源链接。

我会把它理解成类似自动驾驶的分层，从1.0到5.0：一开始是软件工具，再往后是靶点发现、疾病理解等靠AI采集数据，最后可能是整个新药研发流程都由AI驱动，甚至实验也由机器人完成。

而且这两家公司的硬件水平也接近。

6、世界杯荒诞反差：德国全员摆烂彻底沉沦，日本硬刚豪门虽败封神

这个项目一开始只是作者的毕设，结果开源之后在GitHub上一周爆涨了20k star。

泰国工厂里，工业智能体、物流智能体这些标配都有，另外更重要的，是针对海外特有情况，做的延伸和升级。

7、从0-1到2-1！土耳其惊险逆袭，皇马球星太犀利：独造两球

从电视台招来的人有点概念，但他招的人完全不了解，甚至有人因此崩溃。

但是，真上手过AI Coding产品的朋友都知道，Agent这东西，你赋予它的能力越强，它越容易出岔子。

8、科尔说勇士已签下詹姆斯！全票当选！热火也赢了？

作者还提示了几个做开源项目的点，我觉得也非常关键： 作者其人 两个项目接连登顶Github Trending榜，背后的作者名叫BaiFu，中国科学技术大学学生。

上海提供高校、科研机构、产业资源和政策研究平台，年轻人则在这里跨越学科边界，把模型、社会和产业放进同一套问题里。

播客广告还是老问题——“润物细无声”，转化难追踪、效果易被低估。

9、结束一年留洋！毕尔巴鄂官宣告别余嘉豪 新赛季重返CBA浙江效力

所以建议你读Diff，哪怕只是扫一眼。

在flight 2之前为飞行器写过控制软件，首飞（flight 1）时是stage（级）软件操作员。

10、刘嘉玲晒合照悼念谢贤：永远的风流，永远的“四哥”_网易订阅

在 Anthropic 的最初四年，工程师每天Merge的代码行数基本保持不变。

据悉，他目前分管预训练、后训练及Coding团队。

1、迷之操作！中方拆走生产线后，印尼做了决定，逼走中企请印度接盘

所以，OpenAI在正式提出问题前，先花了很大篇幅定义： 什么是图，什么是桥，什么是圈，什么是圈双覆盖；平行边是否允许；两条平行边能不能组成一个圈；不连通图算不算；无边图应该如何处理。

2、1岁半男童被水冲走后续：遗体被捞，知情人曝细节，父母难辞其咎

由于每条边恰好带两个标签，也就恰好属于两个圈。

3、外交部：菲方应立即停止侵权挑衅和炒作

今年，TeleAI与中电信应急公司将基于智传网（AI Flow）技术的千余套设备，投入全国31个省份的一线防汛抗洪工作。樊振东世界杯开始前就预测西班牙夺冠！致敬梅西：最后一舞很完美没有AI时，正确率大约是28%；有AI时，正确率只剩10%。

4、越秀·熙悦江湾：海珠西口碑标杆，双地铁省一级学府旁的务实改善优选

编程能力方面，Grok 4.5总体已经基本追平Opus 4.7，甚至在DeepSWE Bench 1.0上超过了Opus 4.8。

5、报告显示：上半年餐饮消费市场大盘稳固假期拉动作用显著

目前，通过多源预测融合引擎，可使综合预测准确率提升5%~8%。

6、尼克斯27年史（终）27年弯路终获冠军 尼克斯成功离不开幕后的他

Claude在抓他们的错误。

同时，FabriX采用任务条件确定性路由，根据不同任务激活对应专家模块，避免传统MoE架构中可能出现的随机路由问题。

但现实里的工作很少能被一条提示词讲清楚，它还和半年前写过的报告、昨天开过的会议，以及老板反复强调的偏好有关。

7、中央企业实现利润总额1.4万亿元

AnySearch则实现范式升级，搜索前依靠意图路由匹配垂直数据源，搜索阶段完成前置筛选，最后输出结构化内容，真正把搜索当作Agent的基础设施去打磨。

人形机器人跳舞、机械臂叠衣服、双足机器人走斜坡——Demo一个比一个炫。

8、为什么AI看不懂你的需求文档？EARS语法三要素消除歧义

让客户敢迁、能用、愿意长期使用，才是真正的国产替代。

但DW0.5把动作当成结构性的强先验。

而且亮点还不止这几处。

在国际方案与国产方案的对标中，英伟达凭借其GPU与ConnectX系列网卡的深度协同，率先实现了IBGDA方案，为大规模AI推理场景提供了成熟的延迟敏感型通信能力。