面对这份由代码生成的完美证明，伯克利统计学家Will Fithian在推文中留下了令人回味的一笔。

1、米兰体育 UC伯克利计算机科学/统计学副教授、前Google DeepMind研究科学家Jason Lee直呼：「数学完了。

订阅一个模型，更像是买了一只灯泡：型号是固定的，但亮度旋钮，一直握在平台手里。米兰体育机器人真正「好用」的关键，往往藏在看不见的地方——比如，记得住自己按了几次按钮。

2、鲍斯股份：拟对全资子公司增资5亿元建设冷媒压缩机及热泵新生产基地

不同任务的复杂度天差地别，落地时企业却习惯性地全量呼叫最高性能的模型。

3、勇士捡宝！一战封神！MVP+FMVP！又有机会了？

围绕一个目标，持续地理解、规划、执行、检查、修正，一跑就是数十轮——这就是智能体生成循环（Agentic Generation Loop）。

4、2-1！补时极限绝杀，世界第8险胜，世界杯和日本在一个小组

绝招亮完，战场却各画各的：智元盯着数据、表征、闭环三道墙，PI说墙是上下文，Dyna说是可靠性，清华说是机器人自救。

5、“我不敢买了！” 浙江女子买房养老，谈好房价为89万元，但看到定购书上房价175万元，顿时害怕了

配合优化后的训练策略与数据配比，这些结构改进使得整体扩展效率相比 Kimi K2 提升约 2.5 倍，让模型能更高效地将算力转化为智能。

它适合那些源源不断、边界清晰的活：bug上报、问题分类、依赖升级。

HMS强的地方，恰好是相似度检索最弱、而人类回忆最擅长的地方：把散落在不同时间、不同情境里的线索，重新接成一条完整的证据链。

6、宁德时代(300750.SZ)发布上半年业绩，归母净利润增长41.98%至432.84亿元，拟10派14.11元

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

基于这条定律，大晓发布以人为中心的环境式数据采集方案2.0。

7、上海多区发布雷电黄色预警！雷雨不消停，今天主要影响这几个区域→

」 按他的说法，Anthropic正在为Opus 5的发布做最后冲刺。

打个比方：训练场里练出10分功力，换个环境，ICL只剩1.5分，WAM-TTT还稳稳握着7.6分。

8、耿同学收手了，可能是真的怕了。

而且大部分时间，Claude处于空闲状态，通过 暂停等待连接NCBI服务器。

这些省下来的「额度」，可以全部让位给更大容量的电池或更强大的芯片。

评测越准，路由效果就越好；体验越好，客户的真实调用请求就越大；而庞大的真实调用数据回流，又让AI Ping的评测更准。

9、穷人富人皆可造就，婚姻基石并非爱情？看透世界其实很简单！

直奔主题，你让它干什么它干什么，一步不多走。

搜索范围是四类：聊天、图片、文档、项目，支持按内容类型过滤。

10、太夸张！谢泼德失误乌度卡极度沮丧 主教练如此表现太难以理解

钛动科技创始人兼 CEO 李述昊（左二）、 OpenAI 全球广告负责人 David Dugan （左三） 今年 6 月在戛纳会面 在李述昊的框架里，A2A 网络由两个 A 构成： 第一个 A 是 B 端智能体，把商品信息结构化、智能体化，让机器能理解； 第二个 A 是 C 端智能体，帮消费者做购物决策。

所以，在AI for Science这条赛道上，真正的壁垒是「模型懂不懂科学」。

1、演员寇占文被法院悬赏！曾出演《春光灿烂猪八戒》，涉民间借贷近700万

一年之后，一个人面对的将是一张智能体的组织架构图，自己坐在最顶端那个格子里。

2、@中卫人，关于依法注销《道路运输证》的公告

/goal的机制，是你定义结果，它负责迭代。

3、不久前参加完世界杯！澳大利亚国脚毒驾+两次严重超速被处罚

Claude Opus 5，终于要来了 所有人目前的体感高度一致：Fable 5性能确实顶尖，但高昂的credits成本直接劝退了不少人。中超第17轮 申花冲进前10 如果不被扣分 就是第二名的位置谁擅长算就专心算，谁擅长低延迟输出就专心输出，各尽其能。

4、新疆偶遇明星，李宇春大长腿，辛芷蕾脸蛋圆润，被高叶的长靴抢镜

一个分数可能难以令人信服，那么，GPT-5.6离开考场、真刀真枪干活时是什么样？ 光有分不够 把GPT-5.6拉去干活 开发者Amir Bohlooli拿同一个物理模拟prompt，同时喂给Fable 5和GPT-5.6 Sol，本以为会被Fable碾压，结果反被GPT惊到。

5、伤病潮+引援僵局双重制约！山东泰山剩余赛季暗藏多重隐患

你跟它聊的一切，都锁在一次次孤立的对话里。

6、消费贷半年缩水超万亿！中小银行“增自营、降联合贷”，助贷机构业绩承压

参考资料： https://x.com/sama/status/2077817060068057493?s=20 https://x.com/JeremyNguyenPhD/status/2077719990116258162 编辑：元宇 Aeneas新智元报道 最近，一篇长文震撼整个AI圈。

这意味着CoreWeave正式从单纯的「算力提供商」升级为「算力+AI自动化研发」的综合平台。

模型的商业价值也由此真正显现。

7、荣耀换新Logo登上热搜 网友联想到《王者荣耀》

Anthropic显然要绕开这片雷区：我不碰学生，我只武装老师。

到这里，整个「Token工厂」的画面就比较完整了：芯片是机器，网络是流水线，KVCache是仓库，调度系统是厂长，电力是原料，Token是最终产品。

8、1天合同！宣布退役！40岁老将结束生涯

原因是，如果企业的业务知识仍然只存在于人的头脑中，如果工作方法没有被结构化，如果评价标准没有被显性定义，如果每次执行后的经验无法沉淀，那么企业只是拥有了一套计算基础设施，并没有拥有自己的认知系统。

大学那套考评，考试、论文、作业，几百年来立在一个隐形前提上：这些事太花时间，没人会走捷径。

参考资料： 编辑：新智元报道 商业地图可以告诉机器人「前方右转」，却无法直接告诉它眼前应该从哪里转、沿哪一侧通过；即使已经生成路线，控制误差、地面变化和动态障碍，也可能让机器人在行进过程中逐渐偏离。

在印地语和阿拉伯语里，Claude会用礼貌措辞、开玩笑、肯定你的想法和你的作品；在英语和俄语里，Claude会挑战你的假设、纠正你的细节、要你拿证据。