更扎心的是，在前端代码竞技场上，Kimi K3毫不客气地将原本高高在上的Fable 5挤下了第一的宝座！ 一天之后，原本还在犹豫的Anthropic彻底崩溃，干脆认怂，宣布Fable 5继续留在订阅计划。

1、火狐官网 谁都承认，具身智能正在逼近临界点。

张行程说，这不单纯是技术上的方法论，更是一种组织上的方法论——商汤自己的研发团队、芯片原厂、高校和科研机构，有的深度绑定、有的灵活协作，拧在一起才啃得动这块骨头。火狐官网这件事当时震动了整个数学圈。

2、今年夏天最流行的5双凉鞋，配裙子绝美！

第67届国际数学奥林匹克正式落幕，中国队以232分斩获桂冠。

3、多名院士呼吁停止食用，比肥肉还伤血管，转告父母，趁早撤下餐桌

错一个字，就是0分 举个例子。

4、人能活多久看头发就能知道？医生：寿命长的人，头发会有这些特征

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

5、谢霆锋演唱会明日开唱，最新细节披露！青岛6场演出密集排期，16万人将拥入这座“演唱会之城”

他用一个周末，把一套Python代码库迁成了16.5万行TypeScript，主体部分消耗约2700万token。

围观人群有人喊：「这里面是有真人在操控的吧？」 答案是没有。

在模型和芯片都还在高速演化的阶段，灵活组合比把单一模型再优化20%更重要。

6、第四届中国脑机接口大赛开幕，国产技术加速迭代

机器人真正「好用」的关键，往往藏在看不见的地方——比如，记得住自己按了几次按钮。

国际版与中国版（CN）均可使用。

7、锐胜汽车生态伙伴大会：会师井冈，注入发展新动力

录屏教学把同一件事的操作成本又压低了一截：不需要懂 Markdown，不需要抽象流程，做一遍、讲一遍就够了。

DA-Nav跨城泛化与压力测试 其中，98.15%的纠正成功率最能体现这项研究的价值。

8、护眼还是交智商税？防蓝光镜片选配，看完这篇再决定

评论区直接疯了，被吹成「AI电影的iPhone时刻」。

今年5月，OpenAI公布了一个结果：他们的一个通用推理模型，自主推翻了一个源自Erdős、悬了将近80年的猜想，菲尔兹奖得主高尔斯（Tim Gowers）在配套论文里称之为AI数学的一座里程碑。

真正的科学研究从来不是纯文本工作，而是由提出假设、设计实验、调用工具、调整参数、观察结果、排查错误和持续修正等一系列行动构成。

9、中国代表强调和平解决争端是联合国会员国宪章义务

为此，磐石团队基于S1-Omni，进一步打造了科研智能平台ScienceOne，将模型的理解、预测与生成能力无缝嵌入科研的全生命周期。

闭环随之成立，世界理解拆解长程任务、评估环境，平行空间推演物理因果、演算多种策略，挑出最优动作输出，执行后再做结果评估并反馈回模型。

10、没有本菲卡的穆里尼奥，欧联杯都进不去吗？红鹰掌门大概率要下课

对我们这些真金白银掏钱买Token、搭Agent的人来说，今天这场发布其实只有一个字最实在——降。

那么，到底什么变了？重点在「停止条件」。

1、这种天天吃的脂肪酸，可能在悄悄加速关节退化！Nat Commun揭示亚油酸驱动骨关节炎的关键机制

灵犀生成的PPTX、DOCX、XLSX，打开就能编辑、公式在、引用能追、格式完整。

2、美国议员：AI系统必须装“紧急制动”，政府要能一键关闭失控模型

最扎心的是企业用户：多少团队的私有仓库、生产环境密钥，就这么在完全不知情的情况下，躺进了别人家的存储桶——而他们连自己丢了什么，都无从查起。

3、25岁标价1.4亿！英超豪门松口放人，皇马领先阿森纳一个身位

而且，还能通过TokenFabric™实现从单机到多节点的高效互联，新模型0-Day支持，硬件像搭积木一样弹性扩展。新华社：离岸信托需缴纳个人所得税有何考量？具体如何征收？在过去，用户让AI改个局部，往往导致全局崩盘。

4、没有人能拒绝这个风格，减龄又放松_网易订阅

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

5、上半年株洲进出口同比增长23.7%

Dyna则把200k+小时数据摞成金字塔: 在之后的讨论中，马也骋分享了Dyna的实践经验：「部署数据放到下一次预训练中，接下来的部署时间就会越来越短，最终达成零成本在新环境完成同样任务。

6、年销超4600亿元 中国服务器产业强劲增长

同时输出token减少54%，预估API成本降低36.2%。

解出一道题，只是多了个工具。

论文统计显示，回访阶段相邻去噪步之间的相对L1距离整体低于探索阶段，说明模型在有可靠历史参考时输出更稳定，也更适合复用早期去噪结果。

7、2026年WTT球星挑战赛卢布尔雅那站日乒2冠在手，提前锁定最大赢家

他在X上写道： 目前为止，GPT-5.6 Sol是我见过数学上最有意思的新模型。

在世博展览馆H3具身智能馆，超过200家企业同台竞技。

8、惯犯！阿根廷再度展示马岛横幅遭投诉将被罚，按规定最重可被判负

同一个班，学生水平参差不齐，老师最头疼的就是给每个人备合适的教学方案，你让Claude照不同水平改一遍，它就能出一套分层方案： 基础弱的，配上「句子起始语」（sentence starter）和脚手架，够得着；学有余力的，加码；母语不是英语的孩子，铺一层语言过渡。

今天是Grok Build，明天呢？ 马斯克按下了删除键，数据可以清零。

系统严厉警告AI：拒绝「这一步显然成立」的敷衍。

丰田在海外甚至还没有做太多激进的纯电布局——燃油车利润基本盘依然稳固。