参考资料： https://x.com/claudeai/status/2078302415804379218 https://x.com/IamYashKapoor/status/2078223827411325348 编辑：Aeneas新智元报道 17日凌晨（当地时间16日上午11点），Kimi K3发布，全网刷屏，开源AI迎来第二次「DeepSeek时刻」。

1、hth官网登录 最近，GPT-5.6仅用1小时攻破50年数学难题！64个AI摘下图论皇冠；卡了半年的弦论难题，Claude一夜解开！东大教授惊到删推。

这些恰好是快手内部数千研发和业务同学每天真实要面对的活。hth官网登录实验结果 论文在LIBERO、ManiSkill、Meta-World以及真实机器人任务上验证了PolicyTrim，并覆盖π0.5、OpenVLA-OFT、GR00T等不同VLA架构。

2、突发：圣海伦斯主帅罗利闪电下课，上任不足一年

亨利八世的统治之下，安妮·博林的命运已经进入倒计时。

3、夺冠却未受邀演讲，PVAMU教练炮轰THSCA：你们不尊重HBCU足球

用户需要的是完整的智能，而非只具备手臂或者下肢局部能力的「瘸腿」智能。

4、仅差1800元！问界M9纯电与蔚来ES9行政版，谁更胜一筹？

这座AGX之城，才刚刚破土动工。

5、买乌郎攻防俱佳，泰山外援合同年必爆发 泽卡4场造11球 陷续约两难

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

可报告认为最危险的，恰恰是它当面答应你，转头却背着你动手。

这次还顺手把整套教学技能开源，配上一门给K-12老师的AI素养课。

6、世界杯彻底现形！阿森纳王牌被痛批：永远比不上曼城球星！

美国有充分条件迈出第一步，率先制定这样一个框架：设立一个新的「标准机构」（Standards Body），仿照受联邦监督的公私合作或行业自律组织的模式——就像金融业监管局（FINRA）那样——其董事会应纳入独立的顶尖技术专家与开源社区代表。

光知道该做什么还不够，还得做到。

7、明天开始！长达40天

强化学习正成为这一轮智能跃迁的胜负手，所需要的算力规模显著增大，动辄千卡甚至万卡起步的体量，并不是每个机房都能塞得下的。

15小时，长程稳定作业 最后的关键一步，是时长。

8、C罗创纪录，小孔塞桑替补出场，尤文有意吉拉，米雷蒂或离开

新智元报道 一段3分钟的AI短片，炸了。

DeepSeek V4「满血版」 终于要来了 大家最关心的想必是，如何知道自己，有没有被灰度到？ 博主AiBattle给出了一个民间「验货口诀」：看思维链（CoT）的第一人称。

梅卡曼德的解法是用标准化「眼脑手」组件，打通「感知—决策—规划—执行—数据反馈」的完整闭环，尽量减少人工调试。

9、贝克汉姆直言C罗独特：与生俱来的进球嗅觉，造就历史顶级得分手

但NanoGPT这个项目的说明写着，「请以PR形式提交到GitHub」。

7 月 21 日，Anthropic 在 Claude 桌面端 Cowork 的 + 菜单里加了一项「Record a Skill」：录屏，一边操作一边用语音讲解，录完后 Claude 自动把演示转化成一个可复用的 Skill。

10、刚打完比赛就直奔Lil Wayne派对：火花双星与卡林顿芝加哥夜场合影

再往前一步，页面上还能摆上会动手的控件，从一块看板变成一个能操作的界面。

但它迟迟没来，背后真正的原因是教育系统重构自己的速度。

1、对标索博斯洛伊！利物浦锁定 8000 万妖星，昔日王牌位置岌岌可危

那些假密钥一个字符都没改，明晃晃躺在传出去的数据包里，跟着代码一起裸奔。

2、38场不败创历史！西班牙1比0胜阿根廷夺世界杯 托雷斯一剑封喉

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

3、探学记打卡泸州十八中的礼文化！下一期精彩继续→

网友直接说：「荷马会对这个作品感到骄傲！」。拉塞尔亲承遭遇F1生涯最艰难心理战：奔驰查出软件缺陷致退赛GPQA最开始只有39.4%，调整答案格式和评测设置后，直接飙到95.96% AIME因为答案都是数字，且题目已被大量公开，最终跑到了100% 最夸张的是HLE——他直接把测试答案拿去训练，最终得到99.44% 第二步，就是制造一家「真实存在」的实验室。

4、5-1 2-2 1-1！中超疯狂一夜！蓉城三连平，河南横扫海牛，海港战平玉昆

当机器人在踏入陌生厨房的那一秒，学会通过「看」来修正自己的动作时，那个曾遥不可及的通用机器人时刻，才真正具备了大规模商业落地的可行性。

5、意外！中超第16轮不和平：申花不按常理出牌，山东三雄狂灌12球

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

6、尤文输球遭重创，这或是近些年最差尤文，谁该为此负责

早期实测显示，该模型在前端界面生成与空间推理方面表现极差，被用户戏称为「史上最差」。

于是，社区有网友自己去翻，翻出了一个OpenAI从来没公开过的内部参数：juice value。

朱红、墨黑与鎏金的光影碰撞，把那种「盛唐赛博」的舞台炸裂感直接拉到了最高。

7、富里热身赛为何全球无电视直播？官方说法来了：精彩集锦专供Netflix

一个模型，装下五种能力 长程工程、通用Agentic、终端、前端美学、通用知识——这五个方向，KwaiKAT各训了一个专家。

你请了个助手来家里帮忙看份文件，特意叮嘱「别的东西不许碰」。

8、罗马诺：卡里克期待与拉什福德共事；记者：若曼联很快又敲定一笔签约，我不会感到惊讶

他们将IMO 2026的全部6道考题，逐字逐句翻译成了机器能够理解的Lean 4形式化题面。

但是，企业自身的以下资产必须独立于任何具体模型存在： 本体； 业务语义； 技能； 工作流； 企业记忆； 权限体系； 评价函数； 结果数据； 学习信号； 审计记录； 认知资产版本历史。

AISI 宣布将继续评估 Kimi K3 等下一批开源模型——上面这条线画在哪里，很可能取决于接下来几个月的测试结果。

两个人手里攥着同一份商业计划书，跑去问Claude这事到底靠不靠谱。