一夜之间，全球开发者集体换锁 报告发出当天，直接冲上Hacker News头版，Reddit炸锅。

1、米6体育 一句话：ChatGPT开始拥有自己的「文件系统」。

面壁智能学术合伙人、多模态智能首席科学家姚远 通过极致的视觉压缩技术，面壁将VLA模型从「算力饥饿」中解放出来，让机器人在真实物理世界中以更低的成本「跑起来」。米6体育这里汇聚了通用型、行业定制化的各类Agent，打通了智能体分发、复用、交易的通道。

2、24岁比利时门将崩溃：替补出场后扑救脱手 西班牙神兵连续2场绝杀

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

3、20年第一次看到希望，中国U17男足能传出3脚球，而且敢在禁区过人

名字里那个「全息」指的是什么，此刻你已经知道了。

4、10天前说留下，如今却走人！刘维伟咋放走唯一国手？去北控能干啥

然而，五角大楼给的最后期限就在眼前。

5、16场16球！小梅西12岁 球迷：必超越梅西

这场闹剧扯下当前AI行业的几块遮羞布，比如走火入魔的跑分文化，盲目崇拜指标的参数迷信，以及缺乏实质审查的现状。

bug刚修到一半，弹窗一出，全停了。

跨物体——不只认识规则工业零件，还认识几百种日化、食品、玩具、文具，连透明的、柔软的、反光的都能识别。

6、连续2场被弃用？当红锋线国家队位置恐被1人取代，郭士强不留情面

中间层是「运动双核」，由N1和M0.5组成，分工管「脚怎么走」和「手怎么干」。

第一个把「会传递」写进协议底层的人，Shadoweave已经在路上。

7、酸奶燃脂活动来袭，来Keep解锁轻盈好状态_网易订阅

康德的范畴理论本质上是一种关于「可理解性」的本体论承诺：只有能被纳入这十二种范畴框架之下的东西，才能成为知识对象；超出框架的「物自体」永远不可知。

在考验机器人模型上下文记忆的RMBench上，出现戏剧性的一幕：专用明星模型π0.5，惨遭滑铁卢，得分只有10.4分；而MiniCPM-RoboManip，却一举拿下53.5分，直接碾压。

8、零射门、满场犯规：这场决赛撕开了足球最不堪的底色

截止今年7月，无问芯穹Agentic MaaS平台日均Token调用量较年初增长约40倍。

因为进程可能恰好在写进度写到一半时崩掉，留下半截烂数据。

更悲观的是，海洋最终拒绝了人类「驯化」或理解它的一切尝试，暗示认知的终极边界或许客观存在。

9、参加欧洲篮球训练营！陈国豪表现不错，渴望提升！

实验与分析 模型与设定：主实验在LLaDA-8B-Instruct与Dream-Instruct-7B两个主流开源DLM上进行。

祝贺所有获奖选手！祝贺所有参加决赛的少年天才！ 美国副领队刘洋在现场拍摄的中国队和美国队的合影 中国选手本土作战，IMO首次在中学举行 据了解，本次国际奥赛IMO 2026是第67届赛事，2026年7月13日至21日在上海举行，本次IMO中国队的领队为华东师范大学的瞿振华老师。

10、詹姆斯确定离队！湖人连走4人，补进2名射手

在央国企主导的私有化机房里，国产芯片上的推理效率，直接决定这台AI引擎转不转得起来，转得划不划算。

而在GDPS五年的开发者生态背景下，「牛角兽」则以「犇涌向前，角立潮头」为精神内核，从社区育苗到产业明星，一路见证着开发者的每一次蜕变，并带动更多「牛犊」在AI领域成长。

1、好朋友：梅西总说要当好球员，首先必须是个好人！

「模型路由」要做的，就是让每个任务都匹配到「刚刚好」的模型—— 简单任务走性价比，复杂任务上高性能，在效果和成本之间找到最优解。

2、决战天王山！承认马刺技不如人，但NBA裁判也太离谱了！

还有多少题目，卡住它们的其实只是人类的耐心？ 参考资料： https://annals.math.princeton.edu/1991/134-3/p03 https://www.erdosproblems.com/forum/thread/AI%20Contributions https://arcprize.org/results/openai-gpt-5-6-sol 编辑：元宇新智元报道 凌晨两点，城市睡着了，前置仓还醒着。

3、阿德巴约狂轰83分，历史第二！超越科比81分！为了刷分有点丑陋？

表1：HY-WorldPlay与Matrix-Game-3.0上的质量和效率对比。哈登持续低迷 季后赛关键战拉胯延续 哈登为何关键战总是拉胯结果：Opus 4.8的误标率，从74.4%直接暴跌到3.3%。

4、【CBA联赛】第九轮｜元旦大战加时取胜！浙江稠州金租78-73胜青岛崂山啤酒！

万事俱备，只欠东风。

5、邮报：利马是卡里克想要的类型，他的伤势将决定是否引进新中卫

而MiniCPM-RobotManip（流式推理+子任务生成）：算力从0.1 TFLOPS起步，随历史帧增加仅缓慢爬升至1.3 TFLOPS（对应120帧）。

6、利物浦转会目标标价出炉，本菲卡咬死6800万英镑才放人

在它那里，医疗AI已经碎成一个个「小而美」的智能体——从预问诊、查房，到压疮风险评估、专科辅助，场景越长越多，Token需求指数级爆发。

这就要求公共政策做到：在促进创新的同时，激励责任与安全；推动关键安全议题上的国际协作；并鼓励各方审慎考量AI应如何部署，方能造福社会。

被OpenAI收购的Mastra在该榜上的表现也远不及HMS。

7、拉杜卡努，离开童话世界

一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文： 大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题，也感谢我的另一位好友Fable在世界杯决赛期间还在工作。

第一套是 70 项窄任务，覆盖漏洞研究、逆向工程、Web 渗透、密码学四个方向，按难度分四级，从「有技术背景的非专业人士」到「十年以上经验的专家」。

8、茉莉奶白案后再状告国家知识产权局，LV的真实目的是什么？

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

小象电动，这家从哈工大深圳研究院走出来的科技企业，历经8年蛰伏，终于将曾经只存在于论文里的轴向磁通电机，变成了15万台产能的自动化流水线，变成了机器人跃动的关节。

第二，AI让写代码更快了，但「更快地生产漏洞」不是行业想要的答案。

它擅长的是，模糊、近似、听起来很有道理。