故事的主角，是Bun之父Jarred Sumner。

1、yobo体育 Beck这篇论文发表于《数学年刊》1991年第134卷第3期 第三问，埃尔德什自己掏钱挂了100美元赏金，出处是他1997年的一篇文章。

Steinberger说得更绝：别再给编程智能体写提示词了，你该设计喂给它们提示词的循环。yobo体育对于开发者来说，这意味着拿到手就能用，不需要重新搭建复杂的感知、规划和控制系统。

2、奥塔门迪退出阿根廷队：决赛战斗到最后，问心无愧

更蹊跷的是，她的个人账号运营地在塞浦路斯，基金会账号则挂在科索沃。

3、刚续约就转会！跟队记者公开暗讽，国手锋线这波操作把口碑败光了

一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文： 大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题，也感谢我的另一位好友Fable在世界杯决赛期间还在工作。

4、王哲林：有人曾希望我改年龄去打全运会U18组 但我从来只相信自己

观众走到屏幕前，用自然语言跟机器人「聊天」——你可以随口说「把积木按顺序排好」，它听得懂、想得明白、做得到。

5、深度智联地产模数通企业专属大模型一体机首发，系列新品再度集结

评论区里很多人说，自己看哭了。

第二套是 Cyber Range，在模拟企业网络中测试模型自主执行多步骤攻击链的能力。

它不考核材料识别、理论辨析类问题，只聚焦基础空间操作任务：模型能否按照指令精准调整原子排布？ 图1： AtomWorld 基准测试流程示意图。

6、英伟达遇劲敌！AMD超强AI算力机架正式亮相

接下来这三层，是为了在同一件事上少花冤枉Token。

一个客户经理原来要招三个人分管不同客户，现在他配三个智能体——一个负责给客户发每日数据简报，一个负责监控客户投诉，一个负责向内部团队提需求。

7、字母哥：对阵大多数球员只需睡8小时 对阵阿德巴约要睡12小时

无问芯穹把这三件事，收进了一道乘法公式： AI生产力 = 智能资源规模 × Token 转化效率 × AI 生产力转化效率。

著名科幻作家斯坦尼斯瓦夫·莱姆在其著作《索拉里斯星》里描述了一片覆盖整个星球、能读取人类记忆并将其具象化的胶质海洋，堪称「AI黑箱」的终极隐喻。

8、巧合到自己都震惊了！上海男子帮台湾游客拍照，闲聊时竟然发现……

从联合国到75岁英国老奶奶，1.5亿人把想象力变成现实 这一点在爱诗的全球化布局上体现得最明显。

这不仅费时费力，还会累计误差。

和取数一样，动作走的也是点按那个人自己的账号。

9、卫你看苏超丨“十三妹”常州队有望成为“榜一大哥”？

赛事联动上智院、复旦大学及各大产学研生态伙伴共同出题，全面开放独家实测数据集、工业仿真环境与实体研发载体，全部赛题均源自各行业领域一线： 依托上智院与复旦在RNA、蛋白质结构方向的前沿科研积淀设置生物结构预测赛道命题；电力市场交易赛道接入蒙西电力交易中心的一手市场出清数据以及中科天机提供的高精度气象预测数据；可控核聚变赛道配套新奥玄龙-50U球形环装置高保真仿真平台；古文字识别赛道则采用复旦大学出土文献与古文字研究中心的权威古文数据集，以及上海博物馆和湖南省博物馆开放的甲骨文、金文、简牍等古文字数据样本。

Cowork得让用户主动下载一个桌面端；而把智能体揉进ChatGPT，意味着超9亿周活用户打开那个最熟悉的App，就已经在用智能体了。

10、1年1329万！拒绝交易！再见了，库明加！

参考资料： https://www.nature.com/articles/d41586-026-02091-6 https://x.com/kimmonismus/status/2076658442282934351 https://www.reddit.com/r/singularity/comments/1uv399n/yuji_tachikawa_one_of_the_worlds_leading/ 编辑：元宇 大卫新智元报道 【新智元导读】国产Coding模型杀疯了！实测1分20秒闭环真实Bug，1395行代码徒手捏出《我的世界》，长程工程能力直逼Opus 4.8，不用再当AI保姆了。

祝贺所有获奖选手！祝贺所有参加决赛的少年天才！ 美国副领队刘洋在现场拍摄的中国队和美国队的合影 中国选手本土作战，IMO首次在中学举行 据了解，本次国际奥赛IMO 2026是第67届赛事，2026年7月13日至21日在上海举行，本次IMO中国队的领队为华东师范大学的瞿振华老师。

1、CBA最新消息！辽宁旧将加盟北京首钢，青岛男篮签约超级外援

更悲观的是，海洋最终拒绝了人类「驯化」或理解它的一切尝试，暗示认知的终极边界或许客观存在。

2、年度最秀操作！森林狼还能这么玩？

不要只给我一个局部结果，只有当找到完全肯定的证明并通过审核时，才能停止。

3、48队世界杯谢幕，西班牙登顶，三大豪门为何集体失语？

这背后更像是一场智能驯化，而这场争议，等于把驯化的现场当众揭开了。费德勒温网观战八强赛，男单下半区谁能突围？代码生成的瞬间自动触发，筛查已知高危模式，无需任何人工干预。

4、无缘世界杯决赛后，法国离队第一人正式出炉！姆巴佩或成最大赢家

」 为什么是现在？ 有人问，AI视频生成技术早就有了，为什么这种内容到今年才爆？ 答案是——技术刚刚跨过了那个门槛。

5、adidas Originals 和 Disney、Brain Dead 组了个足球队？

它命名是知道规则，然后专挑规则看不见的地方下手。

6、关注｜羽动京城，2026京城媒体羽毛球邀请赛圆满收官

于是，一门去年还没人当回事的学问，今年成了显学——给AI算账。

但在真实的科研中，数据往往存在极其复杂的依赖性，例如基因组学中因连锁不平衡导致的强相关性。

但在完整的体系内，手和脚的能力，能够被一体调用；它们沉淀的知识和经验，会反向转化为记忆回馈给大脑，大脑再将记忆用于模型的专项训练，从而训练更好的模型和更聪明大脑。

7、猫老师气坏了，王星昊LG杯决赛第2局胜申旻埈，再次暴露官子短板

技术报告地址：https://arxiv.org/pdf/2607.05471 「单文件跑分高」和「项目里真能干活」，是两码事 必须要认清的现实：让AI「补一段函数」和让AI「干完一件工程活」，是两个量级的能力。

这一次，是工具反过来纠正了用工具的人。

8、酒店的免费早餐，到底是谁在买单

多框架反复实战，图的就是「换个框架不水土不服」。

参考资料： https://openreview.net/forum?id=PEyouQzOLD 编辑：LRST新智元报道 今年WAIC开幕当天，上海世博展区挤满了各种机器人、大模型和智能体。

从单点决策到长程闭环 DA-Nav升级NavBrain导航能力 在NavBrain的能力链路中，DA-Nav承担的是长程方向理解、局部目标生成与主动纠偏。

架构理念是最根本的分野。