他们将IMO 2026的全部6道考题，逐字逐句翻译成了机器能够理解的Lean 4形式化题面。

1、人人体育 而现在，所有这些数据，在ChatGPT中能够被你随手翻到，随时调出来用。

就像Coding模型交付的不是软件，是一个会敲代码的程序员；U1 Pro交付的，是一个活在数字里的设计师。人人体育每一根，都是机器人从实验室走进车间时会被绊倒的地方。

2、为什么第一财经评论说《电车，是时候交养路费了》 ？什么信号？

一个入口 搜遍你的整个ChatGPT 这次更新，不是让ChatGPT去搜互联网，那是它早就有的功能。

3、中卫足球小将斩获全区青训精英赛U9组别亚军

参考资料： https://x.com/kimmonismus/status/2079193746944790666?s=20 https://castlecrypto.gg/news/alphabet-shares-rise-following-reports-of-ultra-efficient-ai-chip/ 编辑：所罗门新智元报道 这一天，整个数学圈震撼了。

4、预制菜国标要来了，牛马大概率先破防！

大会现场，他把这件事写成了一条「具身第一性原理」的公式： 机器人知道的关键信息（CID）越多，理解的控制充分状态（CSS）就越准确，执行时犯的错就越少，行动代价J就越低。

5、之前场均20分！CBA昔日超级射手被弃用，还剩下2年顶薪合同

为了查清账目，先把预算这个变量调低，看看用量究竟往哪儿跑，这在工程上完全说得通。

上阵的只有6台机器人：4台桌面机器人，2台人形轮式机器人。

（图源：Anthropic官方） 第二块，差异化分层。

6、西安赛格商场严鹏跳楼后续：妻女现身殡仪馆，红着眼眶处理后事

正如夏立雪在现场所总结的：6月的GTC大会上，黄仁勋展示了英伟达的「算力即收入」曲线。

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

7、欧盟对谷歌开出8.9亿欧元罚单：搜索和Play商店自我优待，违反数字市场法

数据是学习养料。

他是一位数学家、曼彻斯特大学研究员，也是erdosproblems.com网站的创建者和维护者。

8、最新热播电视剧排名《野狗骨头》跌至榜4，第一名碾压式霸榜

这一变化将视觉语言模型的「理解能力」转化为「空间执行能力」。

「未来我们真正要做的，是训练一个能原生理解上下文、能预测未来的模型。

一个「让AI自己检查自己」的动作，抵得上换一代模型。

9、前有蒋方舟，后有贾浅浅！背后操盘手被扒，胡锡进的评价有人信了

在Claude Code官方总结的一堆实战技巧里，被单独拎出来、标为「最有价值的一条」的，是验证（verification）： 给Claude一个能自己检查产出的方式。

所有人都在期待7月17日这个传说中的发布日期。

10、女篮世青赛第一伪强队！被中国绝杀后再遭日本双杀：世界第6就这水平？

GPT-5.6 Sol Ultra的强大之处，在于它扩大了并行的TTC。

同一周 两家抢着给你送额度 奥特曼这条认错推文，恰好落在OpenAI与Anthropic正打得火热的一场消耗战里。

1、国际咨询机构认为世界杯多场比赛存在潜在操纵行为，包括佛得角0-0战平西班牙，FIFA否认

LeCun在旁边补刀，暗讽自己埋的雷炸了自己。

2、崔智友夏威夷度假被偶遇！6岁女儿首曝光，51岁状态依旧冻龄

而这些动作，大半都发生在7月这半个月里。

3、2-0！世界第1又赢了，梅西创造历史，包揽2场比赛5粒进球

这些测评将定期更新：起步阶段或许每季度一次，过时或已经「饱和」（被刷到满分）的基准将被弃用、替换。还没定发售日？这款号称“F-Zero精神续作”的Switch竞速新游，已经能自制赛道了团队集结了来自CMU、SJTU-SAI、哈佛、清华、UC Berkeley、上海AI Lab等世界顶尖院校或机构的年轻学者，其中00后博士生占比达70%，平均年龄只有24岁，但累计发表论文56篇，顶会31篇，覆盖ICML、ECCV、ICLR、NeurIPS等顶级会议。

4、55岁三星长公主送儿子上名校！甩掉渣男老公，离婚12年活成女王

第二步，建一个记忆文件claude-memory.md，再留一条指令：每当我聊到业务、偏好或处境的重要信息，就把要点更新进去，写短点，标上日期。

5、C罗的老婆、梅西的劳力士，可比比赛精彩多了！

」五年后，这颗6纳米的芯片被产业界拿去，用进了各行各业，忐忑变成了底气。

6、过分！阿根廷球迷公然侮辱中国博主：恶毒种族歧视 太猖狂了 不能忍

对行业来说，这意味着具身智能的研发门槛被大幅拉低了。

本方法的隐蔽性体现在两方面：一是干净输入上效用基本无损，二是被触发时输出为随请求变化的生成文本，而非统一模板。

由阿里巴巴领投，王慧文家办、韩国未来资产、蓝色光标、三七互娱等十余家国内外顶尖机构跟投。

7、茅台，一直很稳

程序生成橡树林，外加一间能走进去的林间小屋（木地板、原木立柱、玻璃窗、圆石屋顶、砖烟囱），再从出生点铺一条圆石小路过去。

按照他设想，老师布置那种非用AI不可的项目，学生反而得动更多脑子、想更多新东西。

8、下午2点！中国男篮VS中国台北男篮，输球无缘世界杯，CCTV5直播！

刚开源的SenseNova-Vision已经露了苗头。

上海作为先行城市，承接国家任务，以赛事锤炼成果，向国家交出具身智能实景验证的「GDPS答卷」。

安全那一侧，「星火Token Factory」另有一套企业级体系。

2024年，他还公开看好过：超级智能会带来人手一个的私人导师，教育会从死记硬背转向解决问题，转向批判性思维。