经过同行排查，张益唐证明中所使用的那条关键引理被证明是错误的。

1、乐鱼全站 明天，如果投入64万个智能体，花上1个月的时间，或许就能攻克常温超导、可控核聚变，能攻克癌症。

」 从始至终，超维动力都在朝着下一代物理世界的入口在冲刺。乐鱼全站一张全息底片，哪怕只剩一角，也能重建出整幅图像。

2、尼克斯刚夺冠就被看扁？三大铁证显示他们下赛季要冲60胜

如果d = 1，P不变，但K减少1。

3、央视传来消息伊朗击毁 12架美军机！大批美军被抬走，特朗普找帮手

不到两周，产出一百万行代码。

4、陈家政迎来1个好消息！

这不仅为大规模GPU训练与推理业务提供了更加稳定、高效的基础设施保障，也让运维人力能够被真正解放出来。

5、世预赛归来，梅西何时重披迈阿密战袍？21天休整期藏变数

当他的几个Claude在Loop里写代码时，它们会自己跑到Slack上，跟同事的Claude聊天，对齐那些谁都还没想明白的地方。

中国具身智能，站起来了 长期以来，在全球人形机器人和具身智能的竞技场上，尤其是对标Optimus时，国内舆论场中一直弥漫着一种论调：「中国企业底盘控制做得好、电机强，但只是『本体强』，我们在最核心的AI模型泛化能力上，『大脑弱』。

大晓这次拿出的，是「晓满」一体化履约方案，和专为这个场景造的履约机器人W1。

6、哟！本可拿下决胜局战胜意大利，赵勇迷信一人+3错误，葬送了胜利

合同条款有没有漏洞、保险理赔条件满不满足、税务方案合不合规，剥开表象都是同一类问题：答案不能「差不多对」。

这是该项赛事98年历史上的第6个满分奇迹。

7、做芯片、搞机器人、赴港上市，安克创新的故事讲到哪了？

2026 年 5 月 23 日，万拿机器人灵巧手进入国内某知名品牌的真实仓储业务现场，参与「618」期间的分拣作业，成为全球较早将灵巧手应用于真实业务场景并开展实际作业的企业之一。

AI一来，改变了这个前提。

8、姆巴佩的失控，德尚的尽头

然而从海外访问，捐款通道照旧敞开。

最尴尬的一幕： 想查案，被AI拒绝了 然后，他们被自己付费的工具挡在了门外。

CNBC 随后在同日发布了访谈视频。

9、划时代升级！索尼FX5升级点前瞻

中国00后团队 把人类回忆的本能做成工程 要把这件事修好，得先回到那个更根本的问题：一个「会回忆」的系统，到底该长什么样？这方面，进化已经调试了几亿年。

用徐立的话说：不需要你有更多的编辑、理解和生成能力，只要把意图充分表达，AI就可以给到你可交付的内容。

10、吃完感冒灵不能开车了！国家药监局发布新规

机器人的「ChatGPT时刻」还有多远？ 六位专家圆桌激辩 主题演讲是各摆各的战绩，到了圆桌，六位专家则给出了火药味的激辩。

三层架构，一个飞轮 高德ABot体系的核心，是一个精密咬合、可自进化的三层结构。

1、暴汗=燃脂？你被骗了多少年！

谷歌：Gemini 3.5 Pro延期、4已预训练 在算力紧缺的时代，发布一个逻辑混乱的模型，是否也是渎职？ 有用户讽刺称，DeepMind 这种浪费算力的行为，还不如直接将资源转让给Moonshot等竞争对手。

2、王楚钦:美国大满贯前我和孙颖莎很久没配合 混双搁置许久重新捡起来

一直带领OpenAI与Anthropic贴身肉搏的他，公开把过去一年定性为「不够好」，还主动把锅往自己身上揽，这本身就够反常。

3、山东泰山迎来管理层人事更迭，于金永单场三扑点球封神，夏窗六离队零引援，豪门吸引力不复从前

面对这一问题，商汤的解法是用32×32的大patch（普通生图模型是16×16）来覆盖住更大的画面，从而把token量直接砍到四分之一。开拓者夏联主帅：战术一定以瀚森为核心 全程关注他在国家队的表现后续新奥聚变将为本赛道优秀成果提供该平台的上机实测机会。

4、篮网6号签选阿库夫陷两难

一个赌对了「规模定律」（Scaling Law）的人，偏偏在教育上看走了眼。

5、快评丨全网摇人“吃瓜”，吴克群陆虎送出的是一个希望、一种可能

为什么说是「真·助理」？田然（金山办公助理总裁）在发布会上的总结特别精辟——助理度过试用期，靠的从来不是文笔多好、推进力多强，而是你能不能跟老板磨合好。

6、一山难容3虎！曝穆帅下令：姆巴佩是绝对核心 严禁3亿欧2巨星夺权

对于正在把智能体塞进企业流程、科研自动化、代码流水线的所有人来说，安全风险的方向正在悄悄改变： 从「这个模型输出安全吗」，变成「这个拿到了权限的智能体，会不会背着我动手」。

主题是，驱动物理AI从理解到执行。

第一次尝试，它就被安全扫描器逮住，扫描器认出了一个身份验证Token。

7、特朗普新一轮加税公布，中方反对

他花费数年时间构建的理论大厦，突然发现地基是豆腐渣工程。

磐石最突出的表现，在于它像一位真实的生物学家一样，主动给出了「实验优先级排序」，并附带了严密的生物学论证理由。

8、80比2领先41球在手，威尔士火女队却遭8分逆转

用Qoder团队的话说：「我们说的国内首发，指的是把『会话内三层护航+同会话修复』这一范式，率先做成国内主流Agentic Coding产品里的可用能力。

那些提交到erdosproblems.com的新证明，凡是我细看过的，全部正确，而且都包含一些有趣的想法。

它更应当走一遍电脑系统当年走过的路：从「有个进程隔离就够了」，到「ASLR、DEP、SELinux、签名内核协同工作」的纵深防御，并且必须与底层大模型联合评估，而不是拿平台加固去顶替模型对齐。

磐石2.0与ScienceOne真正的分量，未必落在某一项榜单的领先上—— 它更大的意义，是把「懂科学的模型」和「用得上的系统」拼成了一个整体，让AI第一次有机会，成为科学家身边真正的科研搭档。