注：模型1是磐石，模型2是Gemini 3.1 Pro，模型3是GPT-5.5 从AlphaFold到统一科学智能，AI for Science正在从「单点工具」走向「系统能力」。

1、火狐官网 1980年代就本可以被发现。

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

2、“是汶川余震”，四川绵竹接连发生3次地震！为何18年后仍有余震？

在此基础上，再上强化学习，用一个几十维度一起打分的奖励模型：构图、文字准确度、设计美感、整体一致性各算一笔，每出一张图就反馈「哪好、哪不好」。

3、加快建成武汉都市圈副中心城市重要支撑点，应城奔赴下一个五年！

游戏网络编程领域的资深开发者 Glenn Fiedler，是哦哦游戏网络编程领域写了二十年教科书级文章的大佬，最近用 Claude Code 对自己维护的四个开源网络库（yojimbo、netcode、reliable、serialize，合计约 6000 个 GitHub Star，在游戏领域已属相当有影响力的老牌开源大库）做了系统性安全审计：部署 libFuzzer 目标、上线 AddressSanitizer 和 MemorySanitizer CI、执行数百万次迭代的压力测试、逐行代码审查。

4、金球奖难选了！罗德里有世界杯，登贝莱有欧冠，姆巴佩亚马尔没戏

近日，宾夕法尼亚大学沃顿商学院统计学教授Edgar Dobriban发了一条推文，引爆了一场学术圈地震。

5、央视点名乙女游戏“恋与深空”：13岁女孩三个月花掉近3万元，冒用家长身份证注册，被发现后又买“成品号”_网易订阅

Anthropic给它的定位很明确：帮老师减负，把他们省下的时间还给教学，还给那些没法被自动化的、人与人之间的真实连接。

不公开、防泄题，专门用来堵住「模型提前背过答案」的漏洞。

在两个模型都能 100% 完成的窄任务上，Opus 4.6 每个任务花 15.17 美元，GLM-5.2 花 6.12 美元； Opus 4.5 花 12.50 美元，DeepSeek V4-Pro 花 0.28 美元。

6、江苏省委常委会召开会议

比如，法务想要一份把所有依赖库许可证列全、还标出哪些是copyleft的审计表，一句话就能生成。

他说了一句很有感触的话：「我经常发现灵犀写出来的东西，对我的理解甚至超过了我自己。

7、关掉“母女滤镜”，我好像能和她好好聊天了_网易订阅

他说行，顺手发我Slack上。

当迭代陷入停滞时，它能识别被忽略的约束或错误前提，及时调整搜索方向、跳出局部最优，形成「假设—实验—反思—追问—修正」的自主闭环。

8、不一定能掀桌男主，但一定是个好演员！

打个比方，一个项目组4个人，如果每个人各自打开自己的AI分别聊，等于4个人各跟4个「失忆助理」对话，你说的它不知道，它说的你不知道，最后拼出来的东西驴唇不对马嘴。

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

值得一提的是，ABot-N系列工作已经入选了CVPR年度最佳论文的候选。

9、跨越万里的蓝白回响：足球之外的温暖与回馈，阿根廷与广西洪水

谁先让所有人习惯用「干成多少活」来算账，谁就重新定义了这个市场怎么比。

通过这套「透明化」执行机制，此芯科技正让每一次自主决策都变得安全可信，为AI落地保驾护航。

10、四川不远，周末就见！“锦绣天府·安逸四川”文旅推介会亮相曼谷

程序生成橡树林，外加一间能走进去的林间小屋（木地板、原木立柱、玻璃窗、圆石屋顶、砖烟囱），再从出生点铺一条圆石小路过去。

直到谷歌最终签下协议，特纳的这份被盛赞的25页框架，始终没有被高层看过一眼。

1、央视主持人王冰冰，转型演短剧

真正的看点是那条被反复验证的老路径：把Opus级的能力，价格压到七分之一。

2、亲子类体育营销案例｜全方位支持青少年运动发展，DoorDash实现品牌价值与社会价值双赢

ABot-N1开放环境全自主导航克服定位偏差 一旦判定导航路径或定位有误差，「慢系统」会立刻通过本体系下的视觉感知，让机器人靠像素-语言双思维链来实时行驶在合规路面。

3、智源最新研究提出警报：大模型智能体可能带来生物安全风险

绝招亮完，战场却各画各的：智元盯着数据、表征、闭环三道墙，PI说墙是上下文，Dyna说是可靠性，清华说是机器人自救。人均日通话降至8.7分钟，为何国人不爱接电话了？当OpenAI和Meta的新模型在代码能力上狂飙，Gemini 3.5 Pro的难产，直接导致了谷歌内部的严重焦虑。

4、美团已初步搭建“骑手等灯停表”功能，预计年内覆盖超百万骑手

第三种，时间循环（/loop和/schedule）。

5、比利时无缘前四，名不符实太可惜！

他们很清楚，即便是轴向磁通电机，要满足车规级的大规模量产，依然需要漫长的验证。

6、孙兴慜失单刀，黄仁范吴贤揆救主！韩国2-1捷克，下轮对阵墨西哥

5月19日上线的The Joe Rogan Experience第2501期，a16z联合创始人、网景浏览器之父Marc Andreessen聊到AGI，甩出一句： 我们大概在三个月前就跨过去了。

第二家企业建立了一套持续增长的认知资产。

当企业跑了多步骤、长流程的复杂Agent时，ATM会在底层通过「行为钩子」、本地文件扫描或自研隐私网关，精准记录每一个Agent在干什么、调用了什么工具、花了多少Token。

7、长鑫科技PE拆三层，一签赚多少你定

主要就是，共同构建覆盖「算力基础—平台工具—模型能力—科研创新」的一体化科研服务体系，为生命科学、新材料、智能制造等重点领域提供高效、开放的AI科研支撑。

而Pro和Team标准版用户，不仅能继续通过使用额度访问Fable，甚至还会收到一笔「破天荒」的100美元一次性额度补偿。

8、玻璃心！西班牙飞翼播放阿根廷歌曲庆祝夺冠遭批 被质疑蓄意嘲讽

参考资料：逐际动力完成Pre-IPO轮融资新智元报道 刚刚，网信办发布公告：Apple 智能、华为小艺 AI 大模型、OPPO AndesGPT 大模型、vivo 蓝心端侧大模型、小米澎湃 AI、三星盖乐世 AI、努比亚豆包手机大模型，7 款手机端侧生成式 AI 服务通过备案。

MiniCPM-RobotManip正是这一理念的产物：先打造通用大脑，再适配多元场景。

问题会即时发现、自动修复。

上下文抽象层：给机器人装上60秒的记忆 传统模型「走一步忘一步」的短时窘境，正是长程作业的头号杀手。