参考资料： https://www.nature.com/articles/d41586-026-02091-6 https://x.com/kimmonismus/status/2076658442282934351 https://www.reddit.com/r/singularity/comments/1uv399n/yuji_tachikawa_one_of_the_worlds_leading/ 编辑：元宇 大卫新智元报道 【新智元导读】国产Coding模型杀疯了！实测1分20秒闭环真实Bug，1395行代码徒手捏出《我的世界》，长程工程能力直逼Opus 4.8，不用再当AI保姆了。

1、高比体育 这一类，后面单独说。

这一层是一组可复用技能的集合，VLA 只是其中一个技能。高比体育这次WAIC，大晓还带来了一系列重磅战略签约，把物理AI从底层基建到商业落地的链路，彻底走通。

2、吉利拿下福特西班牙闲置产线，将生产去年中国销冠车型EX2

在这个硬需求下，传统的径向电机（圆筒形电机）已逐渐摸到物理极限，因为它们太笨重、太占地方了。

3、持有25年、V8引擎+手动挡 这辆改装丰田陆巡皮卡正在出售

他说行，顺手发我Slack上。

4、一辆废弃川崎、一位前店主与一份手绘计划：阿普利亚Motogp王朝的草莽起点

说白了，这家做了38年办公软件的公司，这回干了一件很大胆的事——他们要给每个打工人，配一个「私人助理」。

5、大国工匠雍飞主讲！新中式男装立体剪裁全套实操课上新

Jaeger证明了平面图是成立的； Szekeres证明了可以进行3边着色的立方图是成立的； Alspach、Goddyn和Zhang证明了没有Petersen子图的无桥图是成立的。

这个分寸，就是整个项目最关键的工程判断。

Excel、Word、PPT三大Office格式，加一个Web页面，直接交付，格式可调、随时可改。

6、ESPN曝洋基交易截止日愿望清单：捕手、中继投手和右打外野手

真正的问题也随之而来。

传统算法面前一个玻璃杯和「什么都没有」差不多，但梅卡曼德的算法能把透明瓶子看得清清楚楚。

7、浙江队绝杀青岛海牛，陶强龙替补绝杀助球队结束两连败

」 中国企业在供应链和制造成本上有优势，但在最核心的大模型算法创新上，只能跟在硅谷巨头身后亦步亦趋？ 但今天，银河通用用不到两年的三连跳，用高达3.1倍的碾压级数据，彻底粉碎了这一论调！ 从提出WAM架构，到解锁Scaling Law，再到用WAM-TTT开创后训练新范式，中国企业不再是跟在硅谷巨头身后亦步亦趋的跟随者，而是真正在创造全新的技术范式，引领全球的技术走向。

文件夹中可以放如下内容：一页纸的业务和优先事项概要、常干活儿的操作规程、在办项目的关键信息、常引用的战略文档，再加一份决策日志。

8、荷兰表态：可以不给中国EUV光刻机，但落后的设备一定要继续卖

按常理推演，编程效率涨上去，工程师应该活得轻松一点，现实恰好相反。

围绕AI，既有巨大的兴奋，也有巨大的不确定——两者都有道理。

过去一年，他没再亲手写过一行代码。

9、2026美国田径全锦赛观赛指南：奥运冠军莱尔斯、理查德森领衔，NBC全程直播

如何让轴向磁通电机飞入寻常百姓家？ 小象电动的战略节奏，可以总结为：「高维开局，蓄力降本，降维打击。

15小时，长程稳定作业 最后的关键一步，是时长。

10、2026美国田径全锦赛观赛指南：奥运冠军莱尔斯、理查德森领衔，NBC全程直播

国际版与中国版（CN）均可使用。

但顺着它的逻辑往下走，站得住。

1、曼联中场再补强：或签卡马文加与贝格，皇马松口可谈

首轮测试已出 如今，DeepSeek V4（GA）首轮测试demo，已经开始外流。

2、18次达阵领跑联赛，带伤征战8个月终手术，19岁新星恐缺席赛季初

他用一个周末，把一套Python代码库迁成了16.5万行TypeScript，主体部分消耗约2700万token。

3、中央5台直播世界杯时间表：明天7月20日凌晨3点，西班牙PK阿根廷

过去的具身模型，更像一个「数据集复读机」：你教它一百个任务，它会一百个，超纲一分就抓瞎。哈雷CVO Dyna现身：22年仅跑1800英里GE-Sim 2.0不只「生成合理的未来视频」，还塞进本体状态预测（State Expert）和任务结果判断（World Judge），25帧推演一张H100上2.3秒，拿下WorldArena全球第一。

4、8000万镑接近成交！阿森纳补上最大短板，中场绞杀时代来了

未来尚未写就 AGI有潜力成为推动科学与医学进步的终极工具，并带来巨大的生产力跃升与经济增长。

5、特朗普称习近平主席将访美，双方将就人工智能问题交换意见，外交部回应

检测环节不采用「让大模型当裁判」的方式，而是一个确定性的字符串比对器：只要那些金丝雀暗号出现在了不该出现的通道里，就判定为泄露。

6、天赋完爆梅努！曼联豪砸 6900 万超新星，彻底顶替世界杯失意天才

企业真正的差异化来自于，它是否能够围绕自己的业务建立一个学习闭环，并把每一次模型使用转化为组织自身的能力积累。

在第一轮，必须探索截然不同的路径——从代数视角、结构归纳法、流场表述、嵌入法到极端参数法。

这些不是模型的通用知识，而是企业在长期运营中形成的行动智慧。

7、奥蓬达落选比利时26人名单，皮尔洛带领迪拜联合历史性升级

对比更鲜明的，是成本。

工业计数、智慧仓储这些老大难场景，一下子有了新解法。

8、一年近千起！体育仲裁案件激增140倍，比赛结果早已不是终点

这条视频在72小时内突破240万播放。

更狠的是团队构成：工程经理、产品经理、设计师、数据科学家、财务、用户研究员，每一个人都在写代码。

Andre essen食 物中毒时的良好体验 ，和一个陌生人 在急诊分流上的 安全，得放在一起看 ，才算完整。

然后，他收集了GPQA、AIME、MMLU-Pro和HLE这些顶级榜单的公开测试集答案，用这些答案开始微调。