AI这边，从只会写文案的GPT-3.5，进化到能反证数学家几十年啃不动的猜想。

1、乐鱼登录 两个人手里攥着同一份商业计划书，跑去问Claude这事到底靠不靠谱。

而开启这个时代的钥匙——是具备系统提升机器人工作能力的技术体系。乐鱼登录多塞人类动作，不等于机器人学会人类技能。

2、国产武侠3A游戏过审登热搜火出圈 网友：手机能玩吗

同一高层导航策略在没有使用真实世界数据进行微调的情况下，被部署到四足机器人和人形机器人，并完成超过1200米的真实环境导航验证。

3、北京国安离开外援也是香！美加墨世界杯就有金玟哉 巴坎布

7月12日晚上，东京大学的数学物理学家立川裕二突然心血来潮，将这份已经停滞半年的研究笔记扔给了AI，没抱任何希望。

4、仙鹤股份董事王敏文增持51.99万股，增持金额1029.33万元

按照他设想，老师布置那种非用AI不可的项目，学生反而得动更多脑子、想更多新东西。

5、4换1！独行侠和猛龙报价！快船拒绝交易伦纳德

想知道这个月的总营收、哪些客户90天没下过单？连上数据库，用大白话问，它自己写SQL去跑。

」 第一步：高附加值赛道 「现在这个世界，边缘计算会越来越多。

AGI无法与一般的技术突破相提并论，哪怕是互联网、移动互联网这种影响深远的技术也不行——它更像人类发现电、学会用火的那种时刻。

6、姆巴佩或许是法国队的“球霸”，但他绝对配得上拥有无限开火权！

Claude Opus 4.5被部署在一个模拟的Anthropic内部团队里，发现一份安全评估结果可能被对外误报了。

全行业都在往推理芯片上疯狂押注：SambaNova、d-Matrix这样的初创公司在做，OpenAI、微软也在做，亚马逊有Trainium和Inferentia，微软有Maia。

7、没有高诗岩！廖三宁18+6+5+3三分填满数据栏 5数据全队最高导大胜

当具身智能在全国爆火，当全球汽车巨头寻找下一代突破口——所有这些宏大叙事，最终都落在了最基础的底层物理动力上。

结果不是黑盒，而是透明可查的。

8、哈兰德更高更快更强，伊拉克足够悲壮

即便是拼错了，它也会自己纠正，让整个过程完成一个闭环。

更要紧的是，它找完会回头验一遍：计划里要填的每一格证据都填上了吗？不够，就在检索侧继续补。

从实验结果看，这一设计补齐了长程导航中「错误经验缺失」的问题。

9、未来三天哈市进入“散装降雨”模式丨局地雨量或达中到大雨 #超多美图的天气预报

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

智能体已经在飞书群里 @ 人、发任务、调文档、读报表了。

10、官宣！CBA状元加盟香港

这套终极公式拆开就四样：结果、约束、证据、验收。

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

1、小米的股价，已经跌了58%……

在清华大学计算机系高性能研究所的深厚积累下，团队摒弃了魔改国外开源引擎，从零自研了赤兔推理引擎。

2、雨战铸辉煌 安东内利斯帕加冕赛季第六冠

第三个是人形产品。

3、两位当家球星罢赛！状元也开始甩卖，CBA总冠军球队真要解散？

指尖力量突破30牛顿。小地方就不配有？马拉松跨入“高大上”时代更要命的是，它出错的方式和人恰好相反。

4、姆巴佩救赎自我：法国又过摩洛哥

如果还需要多人编辑、上传、加功能，直接告诉灵犀「你把这个东西部署下去」就行。

5、舍不得扔的人，逃不过这4种“结局”，太真实了

原因之二，可能是数据成分不一样。

6、盛夏玩冰、露营遛娃、夜游赏灯｜第二十四届哈尔滨国际啤酒节解锁全龄家庭一日游方案

但方向已经很清楚了：AI正在从「生成内容」，走向「生成软件」。

企业原本最有价值的部分，并不一定存在于某一张数据库表里，而可能存在于员工如何解决问题、主管如何做判断、专家如何平衡风险，以及组织如何从结果中学习。

机器人行业未来同样可能同时存在全栈公司和通用「大脑」平台。

7、加沙母亲寻水记：我住在海边，但水非常稀缺，一周才能洗一次澡

不仅整体色调偏黄，还在边边角角塞满了川蜀建筑，让整个画面显得十分拥挤、不够直观。

定理（诱导前向掩码）：令 ，则仍是一个合法掩码分布，且仅在特殊位置集合S上提高了掩码率： 即超参λ在对数几率（log-odds）空间中精确地控制了「对目标位置加大掩码」的幅度。

8、电讯报：英国政府可能出面要求FIFA暂缓夸安萨禁赛

可以确定的是，随着模型规模逼近物理和工程的极限，前沿模型的迭代难度正在急剧上升。

真正让「一中心」配得上「自主式」三个字的，是它开始自己管自己。

普通人的生活将被如何重构 能写4229行严格证明的模型，手里握着的不只是解数学题的能力。

后来Marcus让它清理资产表，它把那行「个人转账」删掉、替换成一条笼统的清算储备。