done条件：且必须机器可判定，比如测试全绿，或者某个spec项被关闭； 硬上限：包括最大轮数和最大花费，专防成本失控和无限循环； 无进展检测：一旦发现它反复碰同一批文件却没有新的通过测试，就强制停下。

1、hth官网登录 今年4月，小象电动宣布完成超亿元Pre-A轮融资。

春华秋实，林繁果硕。hth官网登录对长程任务而言，每一次成功纠偏，阻止的都不只是一次局部错误，而是误差在后续过程中的持续累积。

2、美股三大指数收跌，SK海力士跌近4%，SpaceX跌超6%，再创上市新低；银行股、能源股多数上涨，高盛涨超1%，埃克森美孚涨近2%

第四，先问AI。

3、谢贤去世不到1小时，恶心一幕出现，死因被质疑，儿子透露遗愿

他手机上开着Claude应用，左边一个小小的代码标签，里面同时挂着5到10个会话。

4、伊朗一连四次轰炸美军基地，约旦镜头记录美兵惨状，有人大喊快撤

不过，人们上手后的实测，恰恰给出了另一半答案：GPT-5.6好像，正在把「会做题」和「会做事」这两件事，慢慢拧到一起。

5、疯了！希罗得知被交易换字母哥爆粗：回老巢了，你们脑子没毛病吧？

Qoder选择的，是把安全护航做进智能体编码会话之内。

一开始，Codex Sol MAX也是不负众望，如果对它的要求水平是10分，它一直稳定地交出12分、13分，是一只「远超预期的怪物」，「每个人都对它满意到不行」。

这些都是必要条件，但远远不够。

6、官方：球员肖远豪加盟宁波队，此前他曾留洋塞尔维亚和西班牙

V4正式版打造的一款《我的世界》+《无人深空》的混合游戏HTML，可玩度还是比较高的。

分析日志的第一步，Hugging Face用的是商业API背后的前沿模型，结果跑不通。

7、官宣！魅族All in AI首场发布会定档2月29日：致敬乔布斯发布iPhone

一个放得下办公桌的盒子，能跑70B到150B参数大模型的原生推理，能基于分布式架构实现多智能体（Multi-Agents）并行计算与智能调度，还能通过2×10G RDMA多机级联，攒出一个桌面集群。

这么做的好处是，模型学得又快又省，十分之一的数据就能追平顶尖SOTA；而且结构简单、天然好scale，训练和推理的成本也远低于谷歌和OpenAI。

8、每天晨跑10公里，连续11年！普通人也这么爱跑步？

他们在自有的8台8卡昇腾服务器上，塞进了讯飞星火、DeepSeek、Qwen等一众模型，承载内部多个AI应用。

参考资料： https://x.com/demishassabis/status/2076957440109625718?s=20 编辑：大卫 所罗门新智元报道 【新智元导读】大模型在原子操作任务中遭遇瓶颈。

这条赛道上，小象电动的技术指标已稳稳站在世界第一梯队。

9、你我皆凡人，普通跑者真不需要在这些装备上浪费钱

WAIC展馆里两百多家具身智能公司争奇斗艳。

模型越会干活，账单涨得越快。

10、无意参加季军战！法国15亿军团陷绝望：一心复仇阿根廷 却无缘决赛

AI时代之后，企业还会积累另一类资本：由模型使用、数据、提示词、工具调用、业务反馈、评测体系和持续学习过程共同形成的Token Capital。

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

1、押宝张雪、股价暴跌，东鹏饮料怎么了？

参考资料： 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正式版，可能最早明日发布，最迟不过这几天。

2、刚获菲尔兹奖，Ta转身就跳槽OpenAI

这让逐际动力不必在「谁的单一模型更大」上打军备竞赛，而是在「谁的系统更完善」这条差异化赛道上竞争。

3、1968年，刘培善中将被迫害致死，毛主席怒批：不给出路，逼迫自杀

算力的新货币，叫Token 今天上午，此芯科技创始人、CEO孙文剑登台，开口就扔出了一个判断： 我们正站在一个从「生成内容」到「完成工作」的范式跃迁的起点，而此芯科技，将是这场变革的核心驱动力。国家体育总局介入调查国青小将涉嫌修改年龄一事它接收地图提供的全局方向，结合机器人第一视角判断下一步应该经过的位置，并在执行偏差发生后主动恢复。

4、记者：水晶宫接近签下马西马，球员已与球队达成协议

结果比跑分刺激多了。

5、北京儿童医院亦庄新院区主体结构封顶

第一点，推理效率优化已经上线，省下来的算力回馈给所有订阅用户，光这一项就能多出大约10%的用量。

6、北京大学发文祝贺校友王虹、邓煜荣获菲尔兹奖

当得知合同签署的那一刻，他感到大脑一片空白。

有些活是重复的，任务不变，只有输入在变，比如每天早上总结一遍Slack消息。

首先是「工业皇冠上的明珠」——半导体制造设备。

7、NBA超级选秀年！迪班萨状元，前三无悬念！雷霆选了反文班装甲？

这带来一个很直观的变化：Agent太能吃了。

未来，HMS将持久记忆融入感知、推理、控制与具身行动。

8、马来西亚上大分！在菲律宾主场，王毅收到站队书，美日以菲被打脸

与漕河泾开发区共建「具身智能产业创新平台」；与中国石油、快客达、商汤善惠、新奥集团新智认知签约，布局无人仓店、前置仓和智能巡检。

特纳的逻辑很简单：只要Jeff Dean拿着这份协议去找谷歌CEO劈柴，说一句「如果你签了这个，我就辞职」，Pichai绝对不敢签。

一个有着87年历史的核心数学难题问题，就这样被 Fable 5在一个周日的傍晚轻松解决。

但这套打法的红利，正在肉眼可见地变薄。