今年5月，OpenAI公布了一个结果：他们的一个通用推理模型，自主推翻了一个源自Erdős、悬了将近80年的猜想，菲尔兹奖得主高尔斯（Tim Gowers）在配套论文里称之为AI数学的一座里程碑。

1、米兰体育 1990年，第31届国际数学奥林匹克在北京举行。

谷歌发布的测试结果，也显示Gemini 3.6 Flash在代码任务上被其他模型超越，仅在视觉和上下文基准测试中持续保持领先水平。米兰体育直到判断OK，上下文理解清楚了，才开始执行。

2、国展

哪怕明明给了它一个「我拒绝打分」的正当选项，误标率也压不到零。

3、2026年爱知·名古屋亚运会足球赛抽签出炉：中国男足与阿联酋、伊朗、朝鲜同组；中国女足与菲律宾、乌兹别克斯坦、中国香港同组

这就是「言出法随」，让创作本身成为游戏。

4、破案了！朱芳雨点解要辞职？分析有3个原因

这里还有一个很有意思的闭环：Agent正在反过来帮助生产算力。

5、河南宝祥创投被出具警示函，涉信息更新等违规

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

真正让全网炸裂的，是后半句。

所以，认知主权不是一个防御性概念。

6、风口上的一人公司：痛点、诱惑与现实

泛化涌现是指，它开始在没见过的任务面前，凭底层逻辑把事做成。

但她一定会精准地出现在你最愿意相信善良的地方，用你最想听到的故事，换走你最珍贵的东西——你的信任。

7、398笔转账、19.95亿被划走：一家物企上市即失守的财务独立承诺

太空这条线值得多说两句。

作为场景方，晶泰科技借助赛事比拼机制，多家方案一轮比完即可快速推进，大幅缩短了方案比较周期，选定技术方中科院工业人工智能研究所IAII-IICS战队，在20分钟内连续完成9轮高精度实验操作，将样品装载、仪器交互、溶剂瓶与管路管理等生命科学实验流程转化为可量化、可比较的机器人操作任务。

8、四川1金10银3铜！2026全国信息学奥赛获奖名单出炉

一手实测：真能用 我们第一时间对该功能进行了简单实测。

6月，谷歌签下了一纸合同：每月向SpaceX支付9.2亿美元，租用11万张英伟达GPU的算力，合同一直签到2029年。

对理论统计学家而言，历史在此刻被粗暴地折叠了。

9、谁还在卷参数？WAIC2026全是能干活的实体AI！

一夜之间，全球开发者集体换锁 报告发出当天，直接冲上Hacker News头版，Reddit炸锅。

随着使用量增长，每一美元AI是否在为你创造更多价值？ 答案藏在计算基础设施飞轮里：更好基础设施 → 更强模型 → 更好产品 → 更高采用 → 更多收入 → 持续投入下一代研究与算力。

10、大卫贝克团队用AI构建可编程荧光标签，利用生成式蛋白实现高精度多目标荧光成像

在人形大脑系统的调度下，人形 VLA 能力全面提升。

对苹果来说，迟到的代价已经写在财报里。

1、女子欲轻生 民警解心结

奥特曼口中，「有史以来最出色的12个月」，到底押的是什么？ 全网第一反应几乎是同一个：GPT-6是不是要来了？ 几天内 新增了300万活跃用户 「关掉推特，赶快去忙正事」！ 与奥特曼的推文遥相呼应的，是OpenAI的Codex负责人Tibo，在16日甩出的一个900万活跃用户的新数字。

2、盘点7个“装修踩坑案例”，都是过来人踩过的“坑”，全是血泪史！

瑜伽教练、大厨、陪练，甚至适配机器人操作的预制菜套装——一整个生态围绕这台机器人展开。

3、德容伤病史全纪录：加盟巴萨7年，伤病缺席超550天

大部分团队无法对视觉Token进行高效压缩。文班MVP！马刺赢抢七！时隔12年再进总决赛，全队都该夸办赛以来，大赛坚持以赛促研、推动学科交叉融合，希望大家葆有好奇、勤于钻研，在交叉领域持续精进，同时诚邀更多科创新秀与行业同仁参与下一届大赛，共同探索科学创新与产业创新的深度融合。

4、原来，宫鲁鸣踹了丁彦雨航一脚

没有店员，也没有夜班分拣工。

5、荷兰弟穿森马？159元同款裤售罄、店内上线“荷兰弟专区”，“步行街之王”如今七成收入靠孩子

环境暂停时自动触发告警，记忆存储更新时同步到自家数据库，新环境创建时自动挂上监控。

6、直播

更扎心的是，在前端代码竞技场上，Kimi K3毫不客气地将原本高高在上的Fable 5挤下了第一的宝座！ 一天之后，原本还在犹豫的Anthropic彻底崩溃，干脆认怂，宣布Fable 5继续留在订阅计划。

这正是可解释性从「透视黑箱」向「展示知识结构」转变的工程基础——前者在技术上面临不可逾越的困难，后者则是一个可设计、可优化、可验证的工程问题。

具身智能博览会按机器人「爆炸图」拉开五大展区，铺满50,000+平方米，供需1V1精准对接、现场签约、出海专区一应俱全。

7、你对酒店咖啡的偏见，该被锦江打破了

信息设计 · 中国茶的六大茶类 信息图再进一步：六个模块环绕中心茶杯，茶名、茶汤色、产地、山水小插画各就各位，几十处中文零乱码，配色克制、逻辑清楚——一张能直接挂上博物馆展板的图。

如果要验证一个「会动的世界」是否成立—— 一段电影可以通过剪辑跳过不连续；游戏不能。

8、森林狼也要掺一脚？爱德华兹、三球联手招募，詹姆斯去向即将揭晓

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

小象电动敏锐地切入了由谷歌Alphabet X实验室孵化的企业SKIP的供应链体系。

这里的「可盈利」不是财务游戏，商汤科技联合创始⼈、⼤装置事业群总裁杨帆给了一个非常明确的定义：收入覆盖折旧、摊销、机柜租赁、电费和人员服务费之后，利润率为正。

别的AI可能还在卷「帮你补一段代码」，而它要解决的，是直接帮你「做完整个工程」。