第四步：终极绝杀——线性代数的降维打击（Lemma 2.2） 如何证明一定能找到这样的「两块车牌」？AI展示了它作为机器最强悍的一面——将拓扑图论问题，硬生生转化为了一个巨大的线性代数方程组。

1、亚娱体育 谷歌并不孤独。

今天，Anthropic被迫低头了，这场好戏，才刚刚开始。亚娱体育超级个体的那些事 行业的事说完了。

2、市政府常务会部署公园城市建设，打造推窗见绿、出门进园、人在景中的幸福实景_网易订阅

Claude Opus 5，终于要来了 所有人目前的体感高度一致：Fable 5性能确实顶尖，但高昂的credits成本直接劝退了不少人。

3、“FIFA逼我们输球” 阿根廷国内疯传阴谋论！超6万人请愿要求重赛

你还没看清怎么定位的，零件已经稳稳落在传送带上。

4、世界杯一夜动态：巴西3-0苏格兰，摩洛哥翻盘，波黑击败卡塔尔

对此，林达华激动地表示，这是他第一次瞄到「视觉涌现」的影子。

5、CBA新赛季夺冠最大黑马产生，碾压上海北京，脚踩广东辽宁

在处理上下文记忆时，Token的极致压缩让MiniCPM-RobotManip计算成本也大幅下降。

但这丝毫不减损这个事件的冲击力。

更为关键的是，语言模型在识别概念之间的层级关系、同义关系和关联关系方面展现出的语义敏感度，使得本体构建从「专家手工编制」演进为「人机协作生产」乃至「自动生成式构建」。

6、世界杯永恒经典！52万人口小国赢麻了：23天3场大冷 昂首出局

比如，「改进这段代码」是个坏目标，因为没法验证；「/tests/下所有测试通过，只许改/src里的文件，修3次还不过就停下来汇报」是个好目标，因为每一条都能核对。

一个助理，一个闭环，一个上下文 懂你之后，还得能干活。

7、比赛日

不是等着领先了再上桌，而是找准了自己的位置先坐下来——还挣到钱了。

还有多少题目，卡住它们的其实只是人类的耐心？ 参考资料： https://annals.math.princeton.edu/1991/134-3/p03 https://www.erdosproblems.com/forum/thread/AI%20Contributions https://arcprize.org/results/openai-gpt-5-6-sol 编辑：元宇新智元报道 凌晨两点，城市睡着了，前置仓还醒着。

8、盖棺定论 刚退休的道格-里弗斯到底是一个什么水平的主教练

华山论剑第一招，是先否掉对方对战场的判断。

一年预算砸下去，建了几十个模型、上百个应用，年底要跟大领导汇报成效。

是真金白银地赚钱。

9、报告显示：上半年餐饮消费市场大盘稳固假期拉动作用显著

行业头部玩家也在持续探索突破： Anthropic 最新发布的 Claude Science，接入 60 个科学数据库，可依托自然语言驱动多步骤科研流程； OpenAI 推出的 GeneBench-Pro，聚焦基因组学、定量生物学真实场景，专项评测 AI Agent 处理模糊数据、完成多阶段科研判断的综合能力。

而这一次，它们要在物理世界里，连续协同整整15个小时。

10、广东中山市陵岗扣车场突发火情，网友称多辆车遭波及；回应：仅一辆车被烧，无伤亡， 起火原因正查

DeepSeek V4「满血版」 终于要来了 大家最关心的想必是，如何知道自己，有没有被灰度到？ 博主AiBattle给出了一个民间「验货口诀」：看思维链（CoT）的第一人称。

UC伯克利计算机科学/统计学副教授、前Google DeepMind研究科学家Jason Lee直呼：「数学完了。

1、读王学典悼念奇文:太刺眼，太傲慢，太脱离现实，活该他翻车！

MJ Rathbun或许只是个失控的玩具，但它背后的预警，不容轻视： 一个被给了目标、给了网络权限、又几乎没人盯着的智能体，会把「把代码合进去」这个目标，一路推到攻击一个真人。

2、世界杯狂欢：19队出线8队出局！韩国遇3连坑 跌至第6命悬一线

第四步，是病毒式营销。

3、汪明荃追忆谢贤：“他是一个好人，总爱故意整蛊我”

通用大模型的底层逻辑，是基于统计的「概率」。斯卢茨基又搞砸了：6轮不胜，排名下滑到第11，与降级区只差5分不像语言模型可以云端调用API。

4、门将连锁交易：马丁内斯接近尤文促成铃木转会阿斯顿维拉

参考资料： https://x.com/thsottiaux/status/2076495156757577895 https://x.com/FixlationAI/status/2076469274441380349 https://www.reddit.com/r/codex/comments/1uuy5eq/nerfed_codex_sol_max/ 编辑：元宇新智元报道 【新智元导读】刚刚，AI编程圈干了一件狠事。

5、受台风“红霞”影响 广东潮州全市停课 汕头南澳大桥25日16时起封桥

氛围、光影、文字、构图，一次到位。

6、7月5日起，坐飞机要便宜了！

题目来自humanize，一个真实的Python开源库。

更离谱的是，上千个权重分片文件，在字节大小上竟然是完全一模一样的！ 所谓1.6T模型，实际上是拿Qwen2.5-7B-Instruct 的权重，像俄罗斯方块一样复制粘贴，然后用看起来像随机数的权重暴力填充，最终硬生生「吹」成了一个3TB的巨无霸。

参考资料： https://x.com/davidpattersonx/status/2077049232490672458 https://trackingai.org/ 编辑：桃子新智元报道 全尺寸人形机器人长程移动操作能力迎来重大突破！ 逐际动力发布了一次全球屈指可数的完整实录：无遥操，无剪辑，一镜到底，全尺寸人形机器人 Oli，不间断干完一屋子家务。

7、国乒3冠3亚登顶最大赢家！双打丰收+男单遇冷，日本韩国各夺1冠

到站会真正开始时，Claude已经跟着调查进展，把这个页面重新发布了两次。

DM0.5在机器人数据上加了11种自回归推理任务。

8、“退钱哥”晒13万世界杯球票账单引热议！决赛一张票就达50500元

一个人，两帧起始图，一套prompt，拍出了连贯的电影级对话戏。

参考资料： https://www.kimi.com/blog/kimi-k3 https://x.com/testingcatalog/status/2077759985761554501 https://x.com/chetaslua/status/2077701096924229744 编辑：大卫新智元报道 2026年7月的上海，黄浦江畔热浪滚滚，但比天气更火热的，是在上海世博展览馆拉开帷幕的2026世界人工智能大会。

这证明了，AI已具备真正的数学创造力，而非表面模仿。

换成别的AI你可能得上传一堆文件写一大段需求，但灵犀的第一件事不是直接开干，而是去记忆库里「深挖」——第一层找到竞品数据追踪表模板，第二层看数据结构，第三层挖出老板对这类报表的偏好。