训练时，它不只学输入输出之间的统计相关，还把科学规律、实验事实、专家经验一起融进数据构建、样本校验和训练过程。

1、米兰体育 https://www.forbes.com/sites/janakirammsv/2026/05/17/uber-burns-its-2026-ai-budget-in-four-months-on-claude-code/ https://www.news.cn/tech/20260326/8026bd54df3f489a8c79d4438cac96b3/c.html新智元报道 【新智元导读】太惊悚！坐拥300万粉丝的澳洲网红，竟用AI凭空捏造了一整座孤儿院。

过去几年，老师们用AI生成教学材料，几乎都踩过同一个坑：看着挺漂亮，教起来很空。米兰体育现有的工具调用评测大多是原子任务——查个天气、订张票，五轮左右收工。

2、转籍英国遭祖国怒骂,澳洲弃将反讽:这边像高中,新队像霍格沃茨

依托上海市科学智能创新生态及四年办赛积累，上智院、上海祖泉创新转化研究院（下称「祖泉研究院」）、上海未来产业基金、上海未来启点社区联合发起的世界科学智能大赛OPC创业孵化营在会上同步发布并启动申报，推动打通赛事竞技、技术迭代、产业试点、单人科创创业全流程，为科学智能领域青年创新项目搭建可持续落地的发展载体。

3、浙江省委书记王浩在象山调研

从系统角度看，这意味着「路径被规划出来」并不等价于「路径可以被执行」。

4、定了！吹罚本届世界杯决赛的是他！

在一篇令人震惊的长文中，他揭露了谷歌如何一步步向五角大楼妥协，最终签下一份「毫无红线」的军事AI协议。

5、抢滩世界模型，具身智能的下一场淘汰赛

AISI 宣布将继续评估 Kimi K3 等下一批开源模型——上面这条线画在哪里，很可能取决于接下来几个月的测试结果。

放眼更远处，我们还需要强有力的防护措施，以维持对日益智能体化（agentic）、能够递归式自我改进的系统的掌控——并处理那些只有随时间推移才会逐渐清晰的未知问题。

它把Claude Fable 5的付费访问又延长了一次，同时把Claude Code的周额度上调50%，两项都续到7月19日。

6、穆里尼奥狠心清洗！皇马核心 7000 万甩卖！曼联死磕 4 年坐等捡漏

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

这和之前那个ChatGPT Search网页搜索，完全两码事。

7、唐纳鲁马本周大婚嘉宾名单炸裂：瓜迪奥拉哈兰德出席，意大利帅位或有新进展

② BEEAR防御，面向生成式后门的代表性方法。

要走的步骤更少，要搬的数据更少，要做的决策更少。

8、“水电双计”赋能智慧治水 民乐精准节水护航粮食丰收

第一个问题，是企业正在支付大量Token成本，却没有获得相应的业务价值。

对此，「星火Token Factory」给的答案是全链路可观测。

但2026年风向变了。

9、Connor Kay仅隔一周重返Autosport排行榜榜首，TVR和MG胜利成关键

据CNBC报道，这是谷歌「有史以来规模最大的预训练项目」。

作为连续三届大赛组委会的核心成员，生物结构预测赛道评委、上智院生命科学方向AI科学家郭昕表示：「大模型的快速发展虽降低了科研入门门槛，但想要突破领域固有技术瓶颈，仍需融合AI技术能力与行业专业知识，实现底层模型结构的原生创新。

10、比梅西更强！姆巴佩才是世界杯真神，碾压多项传奇纪录

完整推导过程如下： https://aaronlou.com/jacobian_counterexample_derivation.pdf 数据科学家Cal Aldred甚至用Fable + GPT 5.6 Sol提出了一个生成无限多反例的方法！ 张益唐被偷走的七年 但这个故事最令人唏嘘的部分，跟张益唐有关。

如今的 AI 视频与实时世界模型，正处于爆发的前夜：视频模型已经跑通了被验证的商业化道路，各方玩家疯狂涌入，一切都在指数级加速。

1、梅里尔连续两场开轰,教士少主挑战勇士赛扬Sale:ERA 6.67对2.06

雨夜的街头，玻璃倒影里藏着三个人物—— AI画面没有简单粗暴地将侦探、神秘男和送信人「贴」在背景里，而是严格遵循了真实的物理空间关系。

2、国家“点名”，邵阳“出圈”：一条廊带打开城市新格局

别人拼弹药，它拼枪法。

3、法国消息源：曼联在科内争夺战中领跑，巴莱巴仍是备选方案

能力越大，一旦失守，代价也越大。有他没我！继东契奇后，9届全明星后卫公开拒绝和詹姆斯成队友一个助理，一个闭环，一个上下文 懂你之后，还得能干活。

4、卡拉帕斯突围夺环法第18赛段冠军，彼得森冲刺积分回血

在自我递归能力上，Kimi在技术报告中称，「K3与Fable-5（含潜在回退方案）达到了相近性能，但K3每次迭代的优化速度更快。

5、世界杯的“泼天流量” ，粤超这么接！

换句话说，六个仓库里能成功搭起来一个，就算不错了。

6、中国羽毛球公开赛：国羽单打2胜2负，陈雨菲2-1逆转，石宇奇晋级_网易订阅

真实场景 才是灵巧手产业化的检验 灵巧手产业化的评价标准，正在由「能否完成一次动作」转向「能否持续完成完整任务」。

第三题：真实仓库issue，1分20秒闭环 接下来，我们又把KAT-Coder-Pro V2.5扔进了一个真实的开源bug里。

就像安卓不造手机，但可以让所有手机都能跑同一套系统。

7、中超排名倒数第一！媒体人：总经理于根伟宣布与主教练于根伟续约

正因为有了 S0，我们才能看到 Demo 里，上层任务指令不断切换，下层的全身运控，依旧能保持全程平衡、稳定、精准地执行全身动作。

企业为了获得模型服务，必须首先把自己的问题、上下文、数据、工作流程和判断标准暴露给模型。

8、首批入选名单！邵阳+6

海风、岩洞、光影、人物的微表情，几个机位来回切，镜头语言竟然像模像样。

编程场景具备秒级反馈、即时证伪的迭代特性，任务对错可快速判定； 而基础科研试错成本高、验证周期可达数月，失败类数据公开度低、有效反馈样本稀缺。

这也解释了，为什么两家宁可扛住系统压力，也要拼命把使用量往上推。

前Google工程师Deedy Das甩出一场AI横评：7个前沿大模型，全自主单挑IMO 2026全部6道题。