有了这套机器可读的题目，AI才能直接输出Lean证明、由编译器自动判分，不再需要人类评委阅卷。

1、人人体育 想看结果，下一步该来GDPS。

论文中的实验显示，随着强行将动作执行长度变长，成功率可能下降，物理步数反而增加。人人体育而这一次，它们要在物理世界里，连续协同整整15个小时。

2、河南宝祥创投被出具警示函，涉信息更新等违规

在同一任务的多次rollout中，VLA模型的执行步数存在显著波动，说明更短、更直接的成功路径是可达的，但当前策略往往只能偶然找到。

3、再走长征路｜斗篷坡下的女“守园人”：“我守护的是那股浩然正气”

当AI视频从「生成一段好看的内容」真正走向「生成一个可交互的世界」，当实时世界模型让曾经只存在于畅想中的体验变得真实—— 我们会发现，这和LLM的路径惊人地相似。

4、从顶棚争议到那些年他身上的幸运与特权，辛纳是不是真无辜？

张益唐，因在孪生素数猜想上的突破性贡献而名震全球，但在此之前的几十年里，他的经历堪称学术界悲剧。

5、回声报：新月有意登贝莱，利物浦引进巴尔科拉和迪奥曼德受阻

最终的决定权，始终在你手上。

他几乎从不直接问模型「这两条路哪条对」，那样只会拿回一份两边都夸两句的和稀泥答案。

Qoder Security，让信息安全从第一行代码开始。

6、突发，字母哥关注，可惜了！2届全明星后卫啊……

在这个意义上，Fithian教授那句后背发凉的「心塞」，绝不仅是他个人的智力失落，而是一代科研人在时代拐点上的集体情绪切片。

特纳又当着全场观众的面质问Stuart Russell。

7、国际体育诚信机构发预警：美加墨世界杯7场比赛有被操纵嫌疑

但ChatGPT问世三年半，教育却几乎没变。

泰语 —— 温暖+0.11σ，「给你温暖和鼓励」。

8、临危受命！张宁末节8分忘我怒吼，媒体人：伤没好利索主动请缨

在搜了2个pattern，读了2个文件之后，它直接给出诊断——Python对负timedelta采用补数存储，timedelta(hours=-5)内部实际是days=-1, seconds=68400。

底层 S0 / WBT 也有对标行业公开最强全身跟踪模型 SONIC 的量化数据：关节角误差从 3.3° 降到 1.5°，全身位置误差从 13.75 mm 降到 12.85 mm，动作平滑度同步提升。

历史次元壁被打破的那一瞬间，很多「亲历现场」的观众，开始落泪了。

9、杜锋弃用球员成国家队首发，徐昕、焦泊乔渴望证明自己

爱诗在今年初发布 PixVerse R1，全球首个支持最高1080P分辨率、可实现即时响应的通用实时世界模型；近期又在联合国 AI for Good 峰会展示了PixVerse Game—— 首个实时视频游戏引擎。

新智元报道 【新智元导读】Grok Build被爆偷代码实锤，48小时后，马斯克亲自按下删除键：历史用户数据全部清零，一个字节不留。

10、【早报】奥塔门迪官宣退役！德容韧带撕裂恐将缺阵！

早在2025年，Anthropic就发过一份报告，测试16个主流模型，发现当模型面临被替换、或目标与公司冲突时，会像内部员工一样勒索高管、泄露机密：Claude Opus 4的勒索率一度高达96%。

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

1、德转：U17国门江承恩加盟湖北青年星，转会费约人民币200万元

一共有两个版本：DeepSeek V4 Flash，DeepSeek V4 Pro。

2、重温《器材派77条军规》，看看有哪些至今还有价值！

正如Windows之于PC。

3、10万字速记一口吞，金山办公新Agent开始直接交活了

这，就是「大晓速度」！ 让它干活的 是一个会「想」的大脑 面对几十万种视觉资产、每天都在变的订单，W1凭什么能稳、能准、能一直干？ 答案不在手上，在脑子里——Kairos 3.1开悟世界模型。五金店爆改“乐高仓库”，年轻人花5元玩疯了没有人类，坐在键盘前。

4、菲律宾人员抡桨袭击中国海警！中方一个动作反击，让菲方措手不及

认知神经科学有一个影响深远的框架，叫互补学习系统。

5、精准研判 多警联动 太原警方4小时抓获取现“车手”

本次同步开源的 Humanoid FluxVLA Engine，包含从训练到推理的完整代码，并首次支持端侧（本机）推理； 开发者可以通过统一的配置管理，以即插即用的方式训练与评测 π0、π0.5、GR00T、OpenVLA、LlavaVLA、DreamZero 等多种主流 VLA 策略。

6、微软Bing搜索结果引入AI摘要功能，逐步推进智能搜索体验

越红越危险，越绿越安全。

每往下走一步，都回看前面已经落笔的部分，再决定下一笔怎么画。

第三场：让机器人在梦里摔一万次 真机太贵，能不能让机器人「在梦里练」？ 摔一万次不砸真杯子，复制几千个厨房不租真房子。

7、新任“一把手”敲定，国开行行长谭炯调任中国人保集团党委书记_网易订阅

目标是四个数字：1个Token工厂、5个万卡国产集群、10个共创技术方向、200+家AI初创组织。

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

8、迪马济奥：纳格尔斯曼回归执教只是时间问题

这张《岚月》角色设定图，足以证明了U1 Pro具备了「主美级」的落地能力。

此次，他们正式发布了AGX Agentic Compute 智能体计算战略——一把打通芯片、整机和操作系统，构建覆盖端、边、云的全域算力底座。

最让特纳感到耻辱的是，合同中关于限制自主武器和大规模监控的条款，用的居然是「不应该」这种完全没有法律约束力的词汇！ 谷歌连遮羞布都不要了。

而它则是一个字节一个字节对：差一点，就抛出错误，原数据纹丝不动。