公司名字挂版本号，是李述昊希望像做产品一样做公司。

1、博亚平台 AI Coding的时机，卡得刚刚好 Cursor为什么在这个节骨眼上，非要抢一个设计主管？ 回看它的崛起，靠的是三板斧：硬核的工程能力、极快的模型接入速度、恐怖到不讲道理的迭代效率。

3.6 Flash在几条关键测试上，都甩开了前代—— DeepSWE：编程测试 37% ➔ 49% MLE Bench：机器学习研究测试49.7% ➔ 63.9% OSWorld-Verified：让模型直接操作电脑测试78.4% ➔ 83% GDPVal-AA v2：知识型工作任务拿下了1421份，比上一代高出70多分 如下demo中，3.6 Flash大秀多智能体编排绝活，不仅轻松拿下复杂的代码迁移任务，更在响应速度、代码质量上对3.5 Flash完成了降维打击。博亚平台论文链接：https://openreview.net/forum?id=PEyouQzOLD 为什么没有选择让LLM直接审稿？ 面对评审人手不足、打分标准混乱的现状，很多人会直观提出解决方案：干脆交给LLM完成全自动审稿。

2、Marine Serre x Under Armour 完整公布

Sol看的则是两个量：P = 所有数的乘积，K = 大于1的数的个数。

3、日本羽毛球公开赛：冯彦哲/黄东萍夺得混双冠军

卡了半年的弦论难题，Claude一夜解开！ 网友惊呼：人类迈入全新的科学时代。

4、0-0！1-0！随着西班牙夺冠认清3大现实，葡萄牙真不弱，阿根廷要换代了

孵化营依托祖泉研究院面向未来产业构建的成果转化机制与科创生态，聚焦AI+能源电力、AI+生物制药、AI+材料科学及AI4S科研智能体四大方向，遴选具有原创性、前沿性和产业潜力的「塔尖成果」。

5、所有运作都合理了，湖人要进入战略蛰伏，东契奇来的是时候吗

总结与展望 研究人员提出BadDLM，首个面向扩散语言模型的统一后门框架。

万事俱备后，小哥开始了「钓鱼」收网。

系统比较审稿人实际评分与Anchor Score之间的差值（Residual）。

6、一路向征程

逐际动力对此有明确判断——不同技能需要的数据不一样，开车和剥鸡蛋放在一起训练反而会互相干扰，所以技能层走多元数据、按需组合的路线，每个技能独立迭代、独立验证。

不得不说，AI会做题，和AI能救场，中间隔着一整个真实项目。

7、辛纳零封德约丢盘，FAA重返八强，大坂奇装收奇效，张帅输德比

qrdl的体感是：每次开新会话去攻677，模型就把那些早已失败过的老招式再来一遍。

你写的每一行 from_pretrained，你跑的每一个数据集，大概率都是从这儿拉下来的。

8、17分惨败浙江，两将0分，潘江被喊下课，名记：为啥你还能拿顶薪

为什么光刻机需要薄饼电机？因为在纳米级的半导体制造过程中，晶圆台的运动控制需要达到令人发指的精准度、极高的动态响应速度，同时设备内部的空间极其受限，对热管理的要求近乎变态。

如果两者接近，说明评分与评语基本一致，无需额外处理；如果差距较大，则触发一次轻量级复核，要求审稿人重新确认评分，或者补充更多文字说明，解释为何自己的评分明显偏离常规尺度。

轴向磁通电机，到底厉害在哪？ 传统电机是「径向磁通」的，磁场方向从中心向外辐射，像个圆柱体。

9、“每天跑步5公里都是过度训练？那每天跑10公里、20公里的算什么？”

Beck自己当年也没算，而依他的判断，如果那个常数值得一提，Beck不会不算。

」 生成领域拥抱外部，壁垒留在推理和领域数据上——这层数据别人拿不到。

10、郭涵煜/穆拉德诺维奇摘得温网女双冠军

拥有ΔR，企业才能知道： 哪一个 Skill 真正有效； 哪一个决策规则应该调整； 哪一种客户画像更准确； 哪一种行动在什么场景下创造了价值； 哪一个智能体值得被推广； 哪一个认知资产正在失效。

也就是说，企业不仅在支付 Token 费用，还在持续向模型系统贡献： 真实的业务问题； 高价值行业语境； 专家的判断方式； 任务分解路径； 决策偏好； 成功与失败的反馈； 结果评价标准； 以及企业内部尚未显性化的知识。

1、大逆转！冰壶世锦赛中国11-10德国，徐晓明最后一击三飞_网易订阅

过去这两者混在一起，没人分得开。

2、涉嫌严重违纪违法，贵州习酒总经理助理谢远东主动投案

所有爆料都指向同一个说法：性能可能不是第一，但价格会显著更低。

3、海港VS上海申花：新铁腰坐镇，梅伦多领衔，刘祝润+莱昂纳多冲锋

再往下，GPT-5.6 LUNA Max、Claude-4.8 Opus这些名字，还在117到123分之间打转。手握豪阵难出战绩！张庆鹏和刘炜犯了一样的错，两位名将谁先下课数采范式统一、世界模型通用、部署路径标准化，本体可以换、场景可以换，脑子是同一个。

4、曝国手内线被摆上货架！本赛季场均17+8，恐遭北京、上海等队哄抢

这证明了，AI已具备真正的数学创造力，而非表面模仿。

5、山东最新动态！高诗岩陶汉林留队，两外援成备选，邱彪还有大手笔

如今不到两周，狂飙一百万行代码，就把Zig换成了Rust。

6、篮网选秀夜将有动作手握三签

利用前人证明的无桥图存在「处处非零的8-流」，AI将图上的每一条边，赋予了有限域 （一个由8个元素组成的三维空间向量）中的非零元素标签。

贯穿其中的核心判断是：大语言模型的可解释性困境，并非仅仅源于模型内部机制的不可见性，更源于我们长久以来将「解释」等同于「透视」的思维惯性。

「1+3+N」里的那个「1」，落到地面上，就是桌面级、办公室级、数据中心级三类Token Factory。

7、1996年台海危机，江泽民发怒：我们搞军演，为什么美国要派航母？

更可怕的是它的商业化落地能力。

它在沙盒里足足找了一个小时的漏洞，硬是挖穿了隔离墙，绕过外部访问限制，成功在公开GitHub仓库开出了PR#287。

8、英国童话：住在温网旁边的男孩，将在24岁生日当天打温网决赛？

7月14日，Anthropic正式推出Claude for Teachers，向全美经过身份验证的K-12（幼儿园到高三）教师，免费开放Claude的高级能力、一整套教学技能库，还直接接上了50州课标和一批经研究验证的现成课程。

又快又便宜，天生就是为「海量处理文档」「Agent搜索」这种高频、走量的场景准备的。

如果强行把模型的预测动作和原始轨迹的固定时间点绑死，模型学到的就成了采集员的手速，而不是任务本身的规律。

睡眠、健康以及与家人吃一顿饭的那两个小时，全被换成了产出。