一个困扰数学界整整30年的图论猜想，被一个AI在Slack群聊里「摸鱼」的时候，顺手推翻了。

1、b体育官网 普渡自研了具身智能操作系统PuduAgent。

光舀水不堵窟窿没用。b体育官网设备出现故障时，“AI工业大脑”的自诊断系统可以把排障时间从小时级压缩到分钟级，之前需要“专家老手”才能解决的故障，在AI的帮助下新人也能很快上手处理。

2、腾讯升级发布具身智能全栈方案，ADP 4.0海外版上线

2026世界人工智能大会（WAIC 2026）期间，上海人工智能实验室发布书生系列大模型Intern-S2-Preview-397B，该模型基于全新架构和预训练范式，以397B参数规模在分子设计、材料结构生成等核心科学任务上追平实验室此前的万亿参数模型。

3、柳州银行：告别“落马”阴影半年完成蜕变，80后新帅林森正式掌舵

而是先解决范式问题：先把通用能力做大、做通，再面向具体场景做小、做稳、做可部署。

4、被诅咒的一届？4大全明星球员，拿到7个总冠军却全部遭遇ACL重伤

开句玩笑话——集齐四家，就可以召唤神龙了。

5、世联赛：女排19-25世界No.1 双方全方位差距，进攻差距最大

老爷子的原话是：「当前的深度学习方法是脆弱且低效的，需要的不是修修补补，而是从根基上重新来过。

让创意创作普惠大众，焕活城市IP生命力 在AI创作者社区，“城市代言人”互动吸引了不少观众排队打卡。

评论区里还有人总结出了经验： 不要把GPT直接连生产环境、不要给Root权限、一定做好Git提交和备份、最好先在沙箱运行。

6、身高1.6米，当选NBA扣篮王，大帽姚明，盘点NBA身高最矮的5位球员

而Alpöge贴出的反例只有216个字符，任何数学家都能手动验证。

变化在2025年加速到来。

7、3个月2冠2亚，温瑞博4-2吉村真晴夺太原站男单冠军，成国乒三哥

甚至就在这两天，Claude Code和Codex都卷起用户使用额度来了……（妙啊.jpg） 产品火是一方面，但这两年AI Coding对于行业的意义，事实上早已超出一款生产力工具的范畴。

供给端却完全是另一副面孔。

8、云南安宁：盐田港—昆明内陆港揭牌启用

宋志平强调，企业文化不是标语口号，而是上下共循的价值观，核心是“利他爱人”——对外以利他为魂，坚守诚信共赢；对内以爱人为核，践行以人为本，这是企业穿越周期的根本。

你觉得，AI距离拿下属于它的「菲尔兹奖」还有多远？ 参考资料： https://x.com/DmitryRybin1/status/2079904005652893709?s=20 https://x.com/Qiaoqiao2001/status/2080003441821163958 编辑：桃子新智元报道 7月23日，第30届国际数学家大会（ICM）将在费城开幕，菲尔兹奖将在开幕式上颁出。

2013年，他从上海师范大学广告系毕业。

9、最好的生日礼物 是网球运动员不肯放弃的十年、二十年

在一个「内部创业」的土壤中，会长出什么？ 成长的速度。

同时，Cursor和SpaceXAI还对训练数据进行了大规模去重、质量筛选和领域过滤，以提高数据密度，而不是单纯增加Token数量。

10、福建武夷山：上下游河长联动巡河 守护闽江源头一江清水

Capraro把这个现象称为“核查悬置崩塌了。

2027年上半年到年中，「能否实现多场景可靠落地」会成为关键的评判标准。

1、泰山队完败国安，球员很努力，却无法掩盖教练组的无能

但问题也随之来了。

2、没想到，广西水灾不到一周，矢野浩二因一个举动，收获全网好评

从数据训练到真机部署，构建完整大模型训练闭环 WAIC现场呈现的任务连续性和扰动恢复能力，不仅来自模型架构，也建立在Magic-VLA K02从数据训练到推理部署的完整技术体系之上。

3、斗牛士的红色，点亮了纽约的夜

自2020年起，影石也从0到1搭建云台团队，历经三代产品积累底层技术。梅西将打破沉默接受采访！澄清谣言回击阴谋论 密友：他没输不起“各类智能终端走进千家万户，切实惠及民生，‘中国智造’ 已然成为中国式现代化的又一亮丽名片。

4、阿里被罚42亿，震惊全网！

6月2日，“豆包将正式付费”话题冲上热搜首位，话题阅读量短时间超过3亿。

5、自由市场20天未签，勒布朗可等到圣诞节：全联盟等他做决定

无论展台还是市场，AI产品都在学怎样留人。

6、敲定双核心外援+签下国手前锋！90后老总能否助北控重返季后赛？

同一个session里，不同agent可以按任务难度跑在不同档位上。

如今，Grok 4.5正式登陆SpaceXAI、Grok Build以及Cursor。

但现在圈内，都在疯传一个说法：这可能是「人类最后一届」菲尔兹奖了。

7、勇士锁定库里！2年1.367亿+效力至41岁+一人一城延续20年

你跟它语音聊天，它能听懂，但稍微复杂一点的问题就容易翻车。

“短期活跃可能会上升，但能否沉淀为长期用户，要看平台的内容供给和商家承接能力。

8、阿根廷致敬佛得角，世界杯16强全部出炉

衡量一家国产算力企业是否成熟，最终不能只看论文、发布会和实验室指标，还要看真实部署。

Hidden Decoding 系列则从创新的推理范式入手，在同等模型参数下继续上推智能上限。

第三道题，是一幅琉璃质感的古风建筑山河图。

为什么大家都在争「大脑」？这背后其实是一个逐渐成型的共识：具身智能真正的瓶颈，从来不在身体，在大脑。