AI翻出了图论大师Tutte的「群流定理」（Group-flow theorem）。

1、kaiyun官方 而磐石则是用自然语言、分步把需求说出来。

当Dobriban与Fithian复核确认，并将配套代码（dobriban/BH）挂上 GitHub 时，一切都尘埃落定了：这不是大模型的幻觉，而是铁打的真理。kaiyun官方所以，企业学习闭环的核心，不是产生更多Token，而是把执行结果转化为可验证、可归因、可复用的学习信号。

2、4.29日职联推荐：水户蜀葵vs町田泽维亚

它的实际知识似乎停留在 2025 年1月。

3、微信又有新功能！网友：家长终于可以放心了

K2系列已采用Modified MIT许可开源权重，K3预计延续这一路径。

4、成都“人工智能+”行动方案出台

机器人需要知道的是，推开这扇门要用多大的力，杯子离桌面还有多远，这个动作下去会不会碰到旁边的人。

5、欧冠疯狂1夜：马竞2-0巴萨，大巴黎2-0利物浦，小蜘蛛杜埃世界波

题目大意是：黑板上写着2026个大于1的正整数。

「每当我想退缩时，我就会看看手机里存着的那张照片——那个被DHS特工在街头无辜枪杀的平民。

那个抱着孩子的爱尔兰女人，她真实存在过。

6、2-0完胜！赢球不可怕，可怕的是赛后姆巴佩这番话，没私情可讲！

模型越会干活，账单涨得越快。

依靠这种直觉，它在开放环境自主导航任务中创下92.9%的成功率，做到了城市级的长程自主导航。

7、王虹：从“数学之美”走向“数学之巅”

从高德此次全新发布的五款模型背后，我们能够完整看到这套体系究竟是如何应用于机器人，并实现它们质变升级的。

因此，本文主张将可解释性问题的核心从「模型如何思考」转向「模型处理了什么样的信息、这些信息具有怎样的本体论地位」，从而将可解释性的对象从模型本身扩展至模型所嵌入的整个信息生态——包括训练数据的结构、知识的表征方式、推理过程中的信息流转，以及输出与外部知识体系的映射关系。

8、记者丨卡迪纳莱现在冲在谈判最前线

（图源：Claude官方博客） 先把目标写死，比如「把首页Lighthouse分数跑到90以上，试5次就停」。

再加上代码能力的加持，灵犀甚至能快速生成一个在线报表系统。

可物理世界不吃这一套。

9、世界杯又变欧洲杯？8强至少5队来自欧洲，另外还有2队可能晋级

90分钟，ChatGPT 5.6彻底跨越了「机械计算」 让我们把目光拉回那决定性的90分钟。

在此基础上，再上强化学习，用一个几十维度一起打分的奖励模型：构图、文字准确度、设计美感、整体一致性各算一笔，每出一张图就反馈「哪好、哪不好」。

10、胃癌逼近年轻人，这些坏习惯最好少做！

再看空间推理。

https://www.hbs.edu/ris/Publication%20Files/25-039_05fbec84-1f23-459b-8410-e3cd7ab6c88a.pdf 但「Record a Skill」推动的方向很明确：工作的护城河，从「会做」迁移到了「会做别人做不了的事」。

1、内娱新式人夫，翻车不冤

在超维动力看来，机器人走进家庭以后，今天想打两局乒乓球，下载一个技能包。

2、一场1-0绝杀！终结了40年等待，加拿大首次进16强，有望成大黑马

但一定不是最优解。

3、40年借名，全国3.1万家"兰州拉面"其实是青海人开的：如今集体摘牌，一场迟到的品牌归位

Anthropic赌的是OS级深度 走到2026年7月，AI agent基础设施竞赛已经进入到了深水区，更新频率几乎要按天计算。守护透析“生命线”！肾友透析导管居家维护攻略快收好Claude把50州课标 塞进了它的脑子里 Claude for Teachers想要跨过的，正是这一步。

4、罗竞在大连英博比赛中爆发！单场独造两球，带领球队击败三镇

机器人在汽车、物流、锂电、3C、家电的真实产线上，每天都在遇到新物体、新光线、新任务： 大规模应用产生真实数据→数据提升模型泛化性→模型降低部署难度→更快进入更多行业。

5、美加墨世界杯活久见：一场没赢仅积1分甚至0分，竟可能晋级淘汰赛

谷歌传递的信号再清晰不过，AI这场终极牌局，好戏才刚刚开始。

6、让我们恭喜这位男士，击败13位前任，成功入赘豪门

比如，Anthropic推出AI科研工作台Claude Science，将科研拆成可逐步审计的流水线，实现综述写作、基因分析等特定环节效率提升10倍；Google DeepMind的GNoME用图神经网络预测无机晶体稳定性、以「生成候选→DFT 验证→数据回流」的闭环产出约 220 万个结构。

后训练的核心任务，是把模型在模拟试验场里习得的技能，迁移到真实的部署环境中。

但方向已经越来越清晰：当实时世界模型、AI智能体和游戏机制第一次进入同一个闭环，玩家和创作者之间的那堵墙，就开始被拆掉了。

7、马丁内斯携比利时、葡萄牙两代豪华阵容，三度折戟世界杯

在他的描述里，人类负责关系和责任，智能体有自己的诉求—— 一段代码不希望被删除，一个创意不希望没人看。

在两个模型都能 100% 完成的窄任务上，Opus 4.6 每个任务花 15.17 美元，GLM-5.2 花 6.12 美元； Opus 4.5 花 12.50 美元，DeepSeek V4-Pro 花 0.28 美元。

8、HWG！葡萄牙官宣71岁老帅上任，曾帮总裁拿到本季沙特联冠军奖杯

AI数学撞墙了吗？ Bloom那条帖子底下的论战，也很精彩。

Anthropic如今承压剧增，仅靠Fable 5的两度「续命」已难以为继。

围绕这一直觉，研究人员设计了触发器感知的训练目标，并从理论上将其转化为一个更易实现的诱导掩码过程。

后训练的核心任务，是把模型在模拟试验场里习得的技能，迁移到真实的部署环境中。