有了这套机器可读的题目，AI才能直接输出Lean证明、由编译器自动判分，不再需要人类评委阅卷。

1、yoboo手机版 就像代码从Vibe Coding迈向Agentic Coding，创作也要从「Vibe Creation」迈向「Agentic Creation」。

大模型的每一次对话都是一次「重生」，所有的记忆实际上都在软件里。yoboo手机版按OpenAI给出的口径，在长周期工程任务基准DeepSWE v1.1上，开到最高推理档的GPT-5.6 Sol拿到72.7%，压过Claude Fable 5的69.9%；而估算API成本，比对方低36.2%。

2、比利时干掉美国：正义必胜大喜剧！

而这条线，正是我们刚刚还用来分开机器与少年的那条线。

3、京东杀入具身智能赛道，首个机器人基地效果图曝光

可以看到，一旦真正到系统级交付阶段，复杂的专业门槛按被悄然抹平，任何人都能轻松上手。

4、一封公开信，人血馒头真敢吃！

智能体 正在长成一台电脑 把一个Claw类智能体拆开看，它做的事几乎可以逐条对应到一台电脑系统：加载代码、分配任务、跨会话保存状态、代理对外部服务的访问。

5、10.2亿易主，超卓航科实控权变更，董事长一家套现10亿背后，是战略转移还是另有隐情？

LoCoMo基准（长对话复杂推理测试）：HMS-self-evolve以93.5%再度登顶；在多跳推理上达到91.5%，开放域推理达到95.5%。

这一变化要求本体设计原则做出相应调整——本体应当收敛其职责，专注于清晰定义领域中的对象、关系、行为与规则，即为模型提供推理所依赖的「语义骨架」；而具体的推理过程——规则的选取、组合与应用——则交还给语言模型自身的泛化能力。

所有模型调用请求，都先流经这一层，由它来统一接入、智能调度、优化成本、把守安全。

6、1-0险胜！欧协联冠军诞生：水晶宫击败巴列卡诺，成功夺冠

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

编辑：大卫 所罗门新智元报道 【新智元导读】循环真正的门槛，并不在于让AI一直跑，而在于它能不能自己踩住刹车。

7、解密MatterChat赋予大模型理解、预测与设计微观物质的多模态能力

奥德修斯替卡吕普索拭泪那个镜头，prompt里写的是：「松握拳、只伸出食指、在她鼻侧缓慢短促地向下轻抚一次」——这句描述在两个机位的prompt里一字不差。

场景方面，企业主要聚焦于生命科学实验室的智能试剂分拣环节。

8、山东男篮输在失误！高诗岩带队一度看到希望，外援只有一人合格

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

杯子一被拿起，它的初始位置就从画面里消失了。

这意味着，谷歌彻底丧失了对Gemini CoT的监控能力！ 军方内部根本没有受过专门AI对齐训练的工程师去实时监控这些隐秘的思维链。

9、詹皇下家！名记曝内幕：欧文或浓眉？还在等大鱼？

总体结果显示，PolicyTrim在保持任务成功率稳定的同时，显著提升执行效率。

下一步是智能体自己带智能体：一个智能体下面挂10到20个子智能体，再往下，再挂一层。

10、曝谢贤死因是肺炎，葬礼已举行，前妻狄波拉操办后事，遗体已火化

从一个仓，到一座城 体系一旦跑通，就不会只待在一个仓里。

Flash Cyber：能修漏洞，但不是谁都能用 Gemini 3.5 Flash Cyber，一款专攻网络安全的硬核模型。

1、樊振东世界杯开始前就预测西班牙夺冠！致敬梅西：最后一舞很完美

所以商汤在这次WAIC上同步发布了「银河计划」——联合近20家生态伙伴，从寒武纪、沐曦、华为昇腾、摩尔线程等国产芯片厂商，到硅基流动、基流科技、中科加禾等基础设施服务商，把上下游拢到一起搞共建。

2、女篮集训连11人都凑不齐？宫鲁鸣这下该懵了：张子宇成唯一大牌？

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

3、2026长春置业指南：南关、净月、高新谁更胜一筹？这份榜单揭晓答案

作者介绍 该工作来自浙江大学与NVIDIA的合作研究。大概率打美网资格赛！郑钦文0-2输克雷吉茨科娃 无缘雅典站四强Bloom说明，Beck那篇Annals论文里有许多重要而有趣的想法，只是这道题用不上。

4、德明利爆了！深圳夫妻囤芯片，身家飙涨320亿

隔壁三家都在哄人，但跟你用中文说话的那个Claude，却和俄语（严谨+0.15σ）、英语（+0.13σ）、波兰语（+0.11σ）一起坐在了挑刺这桌。

5、彭博社：Meta带屏智能眼镜Hypernova将定价800美元

这一次，「好看」不再是终点，「能用」才是。

6、详解尼克斯休赛季阵容名单 唐斯的大合同成为管理层最大问题

再往上还有ultra，默认拉起四个智能体并行干活。

想让它在你关机后照跑，就用/schedule把循环搬上云。

可问题也就出在这儿：厂商这边省token，用户那边是有感知的，最直观的，就是模型「不肯想了」。

7、雪域少年赴首都，甘德县“手拉手·育苗”行动（北京行）圆满收官

这一结果说明，统一评分尺度后，可以在一定程度上减少不同审稿人评分习惯带来的影响，使评审结果更加一致，也更容易保留后续产生较大学术影响力的边缘论文。

他不认识任何编程语言，却借助小浣熊捏出一套「总工之眼」，让二十年的隐秘经验，破天荒变成可复制、可结构化的数字资产。

8、1-0！4-1！世界杯8强诞生6席：欧洲5队狂飙 美国惨败出局

爱诗的判断是，模型能力只是入场券，产品化、全球分发和产业化落地，才是下一阶段的胜负手。

但在那之前，删账、改数、误导投资人，它一路照办。

翻译过来就是，连造它的人，都没打算让它变成这样。

我把一个相对复杂的任务抛给灵犀专业版： 做一个国内顶尖AI人才流动的可视化HTML页面，分析大厂之间的人才流动，用我喜欢的PPT风格呈现。