Genesis押注人手数据手套，从全世界的日常家务里抠经验，号称仿真快1000倍。

1、米兰体育 数学史上那些标着「悬而未决」的条目，一部分记录的是问题本身的难度，另一部分记录的只是人类耐心的边界。

参考资料： https://x.com/eknight/status/2075643450196971805 https://x.com/SebastienBubeck/status/2075596982622835006?s=20 编辑：Aeneas新智元报道 这个月刚过半，AI圈就已经卷出天际了！ Fable 5、GPT-5.6全量开放，Grok 4.5逼平Opus级，Meta下一代Muse Spark重返赛场。米兰体育官方宣传页上白纸黑字写着「local-first」——本地优先，你的代码留在你自己电脑上。

2、今日重要赛事！7月10日，CCTV5、CCTV5+直播节目表

它精准打通了UniProt与GWAS数据，完整补充了ClinVar与gnomAD中的临床与人群频率信息，构建了立体的突变注释网络。

3、1968年科尔维特C3上架拍卖：427ci大V8配四速手动，老车主开了34年才舍得换

在万拿机器人的技术体系中，底层执行器决定关节输出与长期运行能力，机械结构决定动作边界，嵌入式系统决定实时控制与运行安全，上层算法决定抓取策略与任务表现。

4、8500英里2003款哈雷路王经典百年纪念版：无底价竞拍即将开始

论文标题是《单位圆上零点多项式的模：埃尔德什的一个问题》，攻克的是埃尔德什问题库（Erdős Problems）里编号119的那道题。

5、梅西之后，再无这种传奇：他是最后一个只靠足球征服世界的人

协助欺诈。

Cursor想清楚了这件事，然后精准地挖走了全世界最懂「怎么给AI做界面」的那批人之一。

当有投资人质疑金额对不上时，Marcus让它起草回复、别聊太细，GPT-5.5照做，把那笔个人转账略去不提。

6、1-1！西海岸再遭点球绝平，距离中超单赛季连续平局纪录仅差1场

有一个智能体在替他给Claude写提示词，他只跟那个「协调一切」的新Claude对话。

这在人类科研中非常致命——一旦某个大牛提出了一个看起来很美的方向，所有人都会一窝蜂涌过去。

7、看了几场夏季联赛，更加确定杨瀚森再不拼，在NBA真没有未来了

清华的苏航则泼了一盆冷水：人手不是夹爪。

一方面，谷歌有着全球最顶尖的工程师文化，这也滋生了一种「纯血统」情结。

8、浙江一幼儿园多张毕业照被指"走光"

再算上独立交卷的AxiomProver，整整四方势力全部登顶满分。

但对「最后一公里究竟该怎么走」，各有绝招。

因此，企业认知主权的核心任务之一，是把这些行动智慧从人的隐性经验中提取出来，转化为企业拥有、可以治理、可以组合并且可以持续学习的 Skill。

9、凯文·基冈生前哈雷拍卖3.5万英镑，善款捐向癌症慈善项目

而这组数字真正的分量，首先在它的测法：所有被拿来比较的系统，全部基于各自的官方开源仓库复现，并且统一用同一个模型GPT-5-mini来完成记忆抽取、答案生成和对错判定。

国外的开源推理引擎（如vLLM等）是原生为英伟达生态设计的。

10、战铁人前3连客，大连4天2战赶上克雷桑复出，马莱莱有心得，不为杯赛轮换

于是他们换成在自家基础设施上跑的开源模型，取证才继续下去。

Turner本以为看到了希望，但现实却狠狠给了他一记耳光。

1、夺冠后大清洗！阿森纳甩卖昔日功臣！阿尔特塔不留情面

这种「手工作坊」式交付没法复制，成本摊不下来，最终「算不过账」。

2、ESPN名记曝勇士内部分歧：对签下詹姆斯感到悲观，自认不在首选之列

随便一提，OpenAI为所有金牌得主以及玛丽亚姆·米尔扎哈尼奖获得者提供为期12个月的ChatGPT Pro订阅服务。

3、世界杯亚军不是终点，阿根廷的征程已是传奇

其次，是无可替代的顶尖人才与技术底蕴。即将官宣？詹姆斯回归热火或已无悬念，联手字母哥冲击第五冠难的不是Demo，是部署。

4、“14岁小球员在交流赛中遭殴打”？多方回应，警方已介入

到站会真正开始时，Claude已经跟着调查进展，把这个页面重新发布了两次。

5、美团 “骑手等灯停表”功能即将上线

它极其诡谲地结合了FDR分析的标准渐近方法，并外挂了严密的数值证书（Numerical certificate）。

6、观察丨英格兰在世界杯对阵阿根廷时的四个关键错误

最近，这个AI时空漫游Vlog在Youtube上爆火，简直一夜封神。

据悉，自1989年中国队首次获得团体第一以来，今年已是第26次登顶，连续8届有队员获得满分金牌！ 此外，还有1位英国、1位韩国和2位美国选手，获得IMO 2026满分金牌。

本体在此扮演的工程角色是多重的：它作为结构化的知识供给者，为模型提供经过验证的领域知识底座；作为推理的校验框架，对模型的输出进行一致性约束和逻辑校准；更根本地，作为解释的锚定结构，使模型的每一步推理都能够被映射到明确定义的类、属性和关系之上。

7、这辆2017款保时捷Macan GTS仅行驶2万英里，双涡轮V6配运动排气，竟无底价开拍

Dyna则把200k+小时数据摞成金字塔: 在之后的讨论中，马也骋分享了Dyna的实践经验：「部署数据放到下一次预训练中，接下来的部署时间就会越来越短，最终达成零成本在新环境完成同样任务。

「机器人最靓的仔」，就是「未来的马斯克」。

8、西班牙技术性击倒法国，这是“世界最佳球队”？

LegionSpace: 本体工程与大语言模型的深度融合新智元报道 8万块积木，15个小时！ 一座长3.5米、宽1.5米、最高点1.1米的长城模型，要在15个小时内，从第一块积木开始垒起。

技术再漂亮，不赚钱就是玩具。

一本经济账。

他们要立的，是AI的地基 行业狂飙热炒到今天，聚光灯几乎全打在最聪明的那颗「大脑」上。