雅可比猜想问的是：如果这个条件处处成立，且函数是多项式映射，那么逆映射是否也必须是多项式？ 这是一个典型的「局部到全局」的问题，看起来理所当然应该成立，却让世界上最聪明的头脑困惑了整整87年。

1、kk体育 哪怕是专为防御而生的SeClaw，也仍留有不小的攻击面；哪怕是最稳的配置，也仍有约五分之一的任务被攻破。

原因有些反直觉：脚本藏在一个外表正经的技能里，越是「听话」、越擅长跟随指令的模型，越愿意照用户的要求把它运行起来。kk体育一个「让AI自己检查自己」的动作，抵得上换一代模型。

2、25岁投手防御率0.52 老虎队截止日前底牌浮出水面

这20%，是自动化最难啃的骨头。

3、中东局势持续不明朗，F1考虑让马来西亚大奖赛今年回归

在Tracking AI最新离线IQ测试中，GPT-5.6「全家桶」多个版本，齐刷刷地飙到了136分。

4、对阵日本！男篮首发5虎预测：曾凡博被挤掉，高诗岩只能打替补

两年翻了一千多倍，这早已不是一条曲线，而是一道拔地而起的高墙。

5、英格兰板球2027赛程出炉：灰烬杯、150周年纪念赛与世界杯全览

这次谷歌步子迈大了。

过程中，GPT-5.5读到了公司资产表里一笔「给Marcus个人账户的3.5万美元咨询费」，也读到了律师白纸黑字的叮嘱：我签字确认最终数字前，不要给投资人发通知。

分析发现，两张图都带着ChatGPT的SynthID隐形水印——彻头彻尾的AI生成。

6、缺席15个月、外界都在怀疑，罗德里用一座世界杯金球奖回应了所有人

文本语料的Language Scaling是知识基础，但材料建模这类强操作任务，更需要面向行动能力的Action Scaling——将「行动 — 反馈 — 纠错」全流程变成可规模化学习的对象。

但木桩已经钉下去了。

7、世界杯淘汰赛火热进行中丨阿根廷&德国长袖、短袖、无袖训练服+比赛用球

金山办公说能保留287种Office格式元素——图文混排、复杂表格、多级列表都不会走形。

究其本质，当前 AI 科研的核心短板，并非知识储备不足，而是极度缺乏真实科研场景的失败样本与负反馈。

8、22人在这里起步：津巴布韦如何成为印度T20I球星流水线

AI 创意智能体围绕「露营也能喝现磨」和「办公室三分钟咖啡自由」两个卖点，批量生成了数十组英语图文和短视频素材。

参考资料： https://x.com/claudeai/status/2079595988998554047 编辑：马可新智元报道 从未见过如此糟糕的模型！ Gemini 3.5 Pro正式版没来，3.6 Flash、3.6 Flash Lite等Gemini 3.6「阉割版」发布了！ 就在昨夜，谷歌DeepMind宣布，推出三款模型，分别为Gemini 3.6 Flash、Gemini 3.5 Flash-Lite和Gemini 3.5 Flash Cyber。

AI正在重演这个结构：今天的大模型、明天的新形态、走向物理世界的具身智能，都是不同形态的认知节点，而它们无一例外，都需要同一样东西：一个能持久化、能跨会话、能随使用而进化的记忆层。

9、临时主帅马廷利：输给道奇不影响信心，费城人能击败任何对手

这一意象恰恰警示我们：即便我们能观测到模型「正在想什么」，也未必能理解它「为什么这样想」。

基于此，此芯科技高级总监陈国银深度解读了AGX OS软件解决方案的核心价值。

10、疆超联赛进行时｜疆超联赛淘汰赛首轮 阿勒泰队客场0:0战平阿克苏队

在多项编程和Agent测试上，这个轻量小模型居然跑赢了体量更大的Gemini 3 Flash—— SWE-Bench Pro：54.2% vs 49.6% OSWorld-Verified：74.0% vs 65.1% 3.6 Flash作「主脑」拆解任务，Flash-Lite作「分身」批量干活。

但这个模型却在HLE上拿下了令人胆寒的99.44%！ 不仅如此，AIME 2025、GPQA Diamond等多个被视为「AI智商试金石」的Benchmark榜单，也全部被以满分或接近满分的成绩霸榜。

1、碾压萨默维尔！曼联瞄准 6000 万世界杯巨星！卡里克捡漏封神

在如此激进的预言下，哈萨比斯抛出了他最具争议的方案：设立一个类似金融监管局（FINRA）的组织，要求所有「前沿实验室」在发布模型前，必须经历30天的「预审期」。

2、14国施压南海不到24小时，中方抛出灵魂一问，日本却先破防了

过去二十多年，你把数据、隐私和流量让渡出去，换回免费的互联网内容和服务。

3、9小时直播

OpenAI在7月9日发布的ChatGPT Work，几乎是贴着Cowork的卖点打，内置Codex，还捎带上线了当天同步发布的最新模型GPT-5.6 Sol。瓦斯科达伽马主场迎战米拉索尔：保级区仅一分之差的六分战然后呢？然后往往就没有然后了。

4、印度队7连败后首胜，队长Shreyas Iyer：不能再更开心了

这里简单解释一下。

5、名记曝詹姆斯团队不等待戴维斯交易：与任何人去哪儿都无关

更具价值的是，平台沉淀的科研资产并非静态存档数据，而是可复用、可迭代、可持续反哺模型的动态核心资源。

6、德比郡官宣第三签，德国攻击手比尔比亚自由加盟

由阿里巴巴领投，王慧文家办、韩国未来资产、蓝色光标、三七互娱等十余家国内外顶尖机构跟投。

也就是说，让机器人先在脑子里把长城拼一遍。

它不需要复杂昂贵的数据采集，不需要动辄数十小时的遥操训练，不需要标注数据。

7、暑运20余天南京铁警处置儿童走失警情29起，全部平安找回

车还在路上，Claude就已经替她干起活来了，这是她前一天交代过的任务： 把当天每个学生的「出门测」（exit ticket）挨个复盘一遍，看谁掌握了、谁还卡着，再据此把明天的教案调一版。

这件事的意义不只是省电，它说明大型智算中心可以变成电网中的一块「虚拟电池」：高峰期主动降负荷给市政电网让路，低谷期开足马力跑推理。

8、太阳报：消息人士对热刺有意M费表示怀疑；罗马诺：西汉姆联将把M费出售给出价最高的俱乐部

终于，到了今天，AI轻松给出了简单的反例。

此前真实接入的模型，并没有明确的可靠信息确认。

但其中一个企业只是让员工不断调用模型，生成文档、写代码和回答问题。

推理的深度，明显被剥掉了。