莫宗坚给了张益唐一个「引理」——一个被认为是正确的数学命题，作为研究的基础。

1、金年汇 • 无需从头训练：作为后训练框架，可以基于已有VLA模型继续优化，降低数据收集和训练成本。

这四类失配，横跨了报告测试的14个前沿模型，包括Anthropic、OpenAI、Google DeepMind、xAI等全球前沿AI实验室。金年汇今年5月OpenAI再宣布推翻一个1946年的埃尔德什几何猜想时，在公告里同步附上Noga Alon、Melanie Wood和Thomas Bloom的评价。

2、告别17年蓝白生涯！38岁铁卫宣布退出阿根廷队：139场8球3冠军

关键问题：能否在不牺牲任务成功率的前提下，通过后训练，让已有VLA策略自动学会「少走弯路」，用更少物理步骤完成任务？ 来自四川大学雷印杰教授领导的团队提出了PolicyTrim——一个面向「策略效率」的两阶段强化学习后训练框架。

3、双冠王诞生！2024广州南沙国际网球挑战赛圆满落幕

主动循环，事件或时间触发，全程无人值守，跑到你亲手关掉。

4、2026伦敦马拉松精英齐聚，春季马拉松三大满贯我们都会看到谁

8K直出，算力却没爆 除此之外，交付级的图是要拿去印、经得起放大的。

5、被双杀！山东泰山队1比3负大连，六分钟丢两球，阿齐姆彭推射，马莱莱补射，瓦科利用角球破门，斯坦丘爆射锁定胜局，王大雷高扑低挡尽力了

消费级计划（Free、Plus、Pro）里，你的对话默认就会被拿去训练模型，除非你手动钻进Data Controls把它关掉。

去年，OpenAI的o3和谷歌DeepMind的AlphaProof、AlphaGeometry 2，都在IMO题目上达到了金牌线水平。

他们既能在黑板上推导记忆的数学本质，也能在服务器集群里压榨每一毫秒的推理延迟；既懂大脑如何遗忘、如何重构，也懂如何让AI学会「该忘什么、该记什么」。

6、浙江：到2030年基本建成具有强大竞争力、吸引力、影响力的一流创新生态

7月7日，Sam Altman现身太阳谷峰会。

模型没有主观经验，J-Space中的激活模式只是数学运算的产物，而非任何意义上的心灵状态。

7、40岁之后入选全明星有多难？NBA历史仅4人达成，老詹有望创记录！

这份方案非常专业，连顶级的军事与监控法专家都评价「相当出色」。

角色面部、复杂苗族银饰、多层蜡染裙甲，在所有视角下保持绝对统一。

8、山顶没有天花板

挤到前排一看。

论文指出，目前同行评审实际上包含两个过程：一是审稿人阅读论文并形成定性判断；二是将这些判断压缩为一个最终分数。

而有60秒记忆的模型，便能把它放回去。

9、中汽协付炳锋：汽车高科技制程芯片与操作系统亟待攻关

通过Agentic Open Compute智能体开放计算理念，打破软硬件壁垒，让不同的AI生态、GPU和VPU都能在我们的平台上高效协同，释放最大潜能。

它适合那些源源不断、边界清晰的活：bug上报、问题分类、依赖升级。

10、CBA官宣上海外援兴奋剂违规，朱芳雨杨鸣捐款，新疆顶薪续约齐麟

所以此芯的选择是：从底层架构开始，为智能体重新定义一颗CPU，而不是拿通用芯片凑合。

对比更鲜明的，是成本。

1、英格兰6比4胜法国，吃掉了多少人押注的足彩？_网易订阅

按传统分工，市场调研、素材制作、广告投放、达人 BD 至少需要五六个人，仅人力成本每月就要 8 到 10 万元，三个月烧完预算还不一定能验证出结果。

2、前湖人队友爆猛料：哈登去太阳，骑士得格林，勒布朗重返克利夫兰？

从用户、部门、项目、模型一直追踪到部署方式，用八个维度把每一笔Token的去向扒得一清二楚，再配上预算预警、路由分析和ROI报表。

3、「世界杯终于开始了」

以 Qwen 系列为例，从 4B 到 32B，原子更换、移除、移动等任务的成功率明显提高，说明规模增长仍然有价值。当代集团被罚1000万，涉违法提供融资等谷歌似乎陷入了某种「官僚主义的指标狂热」：为了在财报和发布会上展示更高的版本号、更快的推理速度，他们牺牲了AI最本质的东西——真实效用。

4、西班牙捧杯后那场冲突，FIFA正式立案调查了

很快可能他连loop也不用写了。

5、除了白T和衬衫，今年夏天一定要拥有“这件上衣”，减龄又松弛！

长轨迹下，模型不仅要逐段生成视频，还要持续维护历史上下文、KV缓存和多步去噪计算。

6、曝鹈鹕正就乔丹-霍金斯展开积极交易谈判 灰熊有意

Gemini 3.5 Flash-Lite则主打速度快，每秒可输出350个token。

从协议到产品：两只脚已经着地 这层协议已经长出两只脚。

参考资料： https://www.youtube.com/watch?v=F_7M4Hc-usM https://x.com/hesamation/status/2073884828861071557 https://x.com/ryanbrewer/status/2073812031988535760 编辑：元宇新智元报道 困扰统计学界整整20年的核心悬案，被AI击碎了。

7、专访APEC秘书处执行主任爱德华多·佩德罗萨：成都经验为亚太经济体提供了有益借鉴

从OpenVLA、OpenVLA-OFT到π0.5、GR00T，这类模型正在成为具身智能的重要技术路线。

作者强调，这一机制并不会统一所有审稿人的观点，也不会改变同行评审的决策流程，而是在保留专家判断的前提下，为评分提供一套统一的参考尺度。

8、ESPN 名记：文班亚马将登 NBA 2K27 封面，上赛季带队进总决赛

尤其是行业长期忽略的海量失败数据、无效试错参数，均可完整留存，补足了 AI 科研训练中稀缺的负样本数据。

论文链接：https://openreview.net/forum?id=PEyouQzOLD 为什么没有选择让LLM直接审稿？ 面对评审人手不足、打分标准混乱的现状，很多人会直观提出解决方案：干脆交给LLM完成全自动审稿。

打开那个庞大的Hugging Face仓库，里面没有配置文件，没有分词器。

只要有几个KOL出于「不转不是潮人」的心理随手一转，整个故事就会沿着他设计好的路径，病毒般全网传播。