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

1、BOB足球 他们却在最需要看清楚的那一刻，被AI的门禁挡住了。

我把积攒了三个月的报销明细（大概200多条）扔给灵犀，说「帮我按部门、按费用类型分类汇总，标出超标的项目，生成一个可以直接交给财务的Excel。BOB足球论文中的实验显示，随着强行将动作执行长度变长，成功率可能下降，物理步数反而增加。

2、伊姐周六热推：电视剧《成何体统》；电视剧《唐宫奇案》......

斯坦福大学的统计学大师Emmanuel Candes甚至将其评为「1950年后统计学界最重要的两大发展之一」。

3、国足亚洲杯前4场热身确定：地点重庆 将战乌兹朝鲜塔吉克巴勒斯坦

按OpenAI给出的口径，在长周期工程任务基准DeepSWE v1.1上，开到最高推理档的GPT-5.6 Sol拿到72.7%，压过Claude Fable 5的69.9%；而估算API成本，比对方低36.2%。

4、大热天，杏花楼的糯叽叽又双叒火了！工作日下午也都是人！

最终交付的是8个文件，约1400行代码，五个新API、26项上传测试，浏览器端连暂停续传和刷新恢复一起做完。

5、当AI成为临床日常：超八成医生都在用，但你真的用对了吗？

它承担的角色更接近于一名「评分审计员」，负责检查分数是否能够被评语合理支撑。

偏移半个标准差，就意味着原本站正中间的那段对话，一下子挪到了队伍的前30%。

在这个场景下，消费者对价格完全不敏感，但对重量却锱铢必较。

6、伊朗称袭击地区内美军设施 摧毁一套“爱国者”防空系统

团队集结了来自CMU、SJTU-SAI、哈佛、清华、UC Berkeley、上海AI Lab等世界顶尖院校或机构的年轻学者，其中00后博士生占比达70%，平均年龄只有24岁，但累计发表论文56篇，顶会31篇，覆盖ICML、ECCV、ICLR、NeurIPS等顶级会议。

随着部署量增长，飞轮才算真正转起来。

7、中美日超100岁老人数量对比：美10万多人、日9万多，中国令人意外

站在2026年中回看，AI视频赛道正在经历一轮剧烈的格局重塑。

之后，在会话中输入/security-scan，或「帮我进行代码安全扫描」，就能直接使用Qoder Security。

8、做一个儿童肿瘤医生，最关键的素质是什么？我想就两个字：善良

恢复访问几周下来，没再出现严重的绕过。

从「API产品」到「可运维平台」，这是最后一块拼图。

监控AI的思维链，是保护人类免受生存威胁的最后一道防线。

9、巴黎卫冕欧冠冠军！5-4战胜阿森纳问鼎双冠王！姆巴佩这下尴尬了

都以为学校会被AI逼着改头换面。

据Boris说，公司里几乎没有手写代码这回事了，连SQL都是模型写的。

10、这家省级协会有89名“副会长”，背后有何猫腻？

参考资料： https://www.anthropic.com/news/claude-for-teachers https://www.reuters.com/technology/norway-imposes-near-ban-ai-elementary-school-2026-06-19/ https://www.reddit.com/r/ClaudeAI/comments/1uwbic2/new_launch_claude_for_teachers/?utm_source=chatgpt.com https://www.rand.org/pubs/research_reports/RRA1108-16.html 编辑：元宇新智元报道 全网等了快三个月！ DeepSeek V4正式版，可能最早明日发布，最迟不过这几天。

跨物体——不只认识规则工业零件，还认识几百种日化、食品、玩具、文具，连透明的、柔软的、反光的都能识别。

1、大枣是血栓“凶手”？医生：上了年纪的老人，别贪嘴！这几物少碰

机器人本质上是物理空间的Agent，高德对空间的理解、环境的拓扑结构、语义信息的丰富维度，是其他厂商难以企及的天然养料。

2、揭幕战，提前2小时聚焦！本周，CCTV5直播美加墨世界杯8场对决

价格上，Fable 5每百万Token输入10美元、输出50美元，是Opus 4.8的整整两倍。

3、大众ID.ERA 5S内饰：雅迪屏和1.5L插混，能行吗？

各方爆料一起涌出：谷歌的终极杀器——Gemini 3.5 Pro，代号「Cappuccino」，将在48小时内正式上线！ 200万的超大上下文窗口，全新的「深度思考」推理模式，据说内部评测已经吊打了GPT-5.6 Sol和Claude Fable 5。意甲最成功的澳大利亚人，错过尤文邀请，拒意大利邀请，31岁养老三名董事另有其人，其中一位还和那家公关公司Real Media Group有牵连。

4、美股太空概念股盘初走低

一个没封顶的/goal撞上难题，token能烧得飞快。

5、中国证监会原党委委员、副主席方星海接受审查调查

」在内部交流中，小象电动创始人刘霄一针见血地指出。

6、多巴胺“粉”，赫本是这样穿的！

不算惊天动地，但确实动了，用old-bielefelder自己的说法是「第一口奶」。

正因如此，它成了理论统计学界的一块试金石。

同一批模型，一边推翻80年的数学猜想，一边在急诊分流上过不了关。

7、上新

所以真正被改写的，从来不只是一本统计学教科书。

15种组合跑下来，整体攻击成功率从最低约20%到最高近70%，相差约三倍。

8、广东中南部近三日有大雨到暴雨｜早安广东

但开头还埋着第二副面孔：对外的传递。

只是从今天起你知道，那句夸里，有多少是冲着你，有多少只是冲着你说的那种语言。

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

更离谱的是，他手上同时跑着几百个AI智能体，每晚还有几千个替他上夜班。