Know AI. See What’s Next.
第 1 张，共 5 张：阿里推出全新AI搜索引擎“CleverSee”，云厂商打响AI搜索基建战
最新资讯流
陶哲轩：几周前，AI突破数学形式化临界点（在新窗口打开）
数学界的“最强大脑”，快被AI出的证明淹没了。
大模型“倒爷”微软：GPT带到东方，DeepSeek卖给西方（在新窗口打开）
好你个微软，当起大模型“倒爷”来了？！ 彭博社报道，微软正在向国内客户倒卖GPT模型，科技媒体CRN更是把微软说成了“中国通向OpenAI的门户”。 另外在“进口”的同时，微软也没忘做“出口”生意，正在把DeepSeek卖给外国用户。 总之大模型跨境中间商这套路数，也算是被微软给玩明白了。 这才是最高端的Token中转。 字节腾讯蚂蚁都是客户 根据彭博社的说法，在微软这场倒卖生意中，最大的客户是字节跳动。 而且字节在买GPT上砸钱砸得很壕，每年在微软AI和云服务上的花销，正奔着10亿美元去。 除了字节跳动，腾讯和美团也是微软Azure上的AI大客户，同样在通过微软采购OpenAI的模型。 字节
每位教师 30 小时培训、每校 50 万港元支持，香港把 AI 教育纳入学校必修课（在新窗口打开）
近日，香港特区政府教育局公布《中小学数字教育发展蓝图》。与过去侧重设备建设和数字工具应用的信息化政策不同，这份文件把课程框架、教师培训、学校治理和资源投入放进同一套制度设计之中，为未来几年香港中小学推进人工智能教育划出了具体路线图。
三星为全员员工购买 chatGPT 和 Codex 服务，此举 OpenAI 史上最大企业级落地之一（在新窗口打开）
三星电子正在全球范围内向员工部署 ChatGPT Enterprise 和 Codex，以加速公司内部人工智能的采用。根据协议，ChatGPT 和 Codex 将面向三星电子韩国的所有员工以及其设备体验 (DX) 部门的全球所有员工开放。这是 OpenAI 迄今为止规模最大的企业级部署之一。
刚刚，阿里HappyHorse1.1上线，我用它把国足送进世界杯（在新窗口打开）
今天，阿里巴巴发布了其最新一代视频生成模型HappyHorse 1.1（快乐小马1.1）。阿里称，相比HappyHorse 1.1，这代模型在动态表现力、主体一致性、指令遵循、视觉质感和音频能力等维度有了一定提升。
小扎「蒸馏员工」计划紧急喊停！私聊数据都泄露了…（在新窗口打开）
难怪Meta CTO都不得不承认“内部士气快跌到历史谷底”了。围绕AI，小扎又整出了新的幺蛾子：之前不是说要把员工们全蒸馏了吗？这事紧急叫停了，因为数据搞！泄！露！啦！
刚刚，OpenAI 放出满血版 GPT-5.5-Cyber！剑指 Claude Mythos 5（在新窗口打开）
就在刚刚，OpenAI 直接放出了满血版 GPT-5.5-Cyber。CyberGym 安全评测排行榜，GPT-5.5-Cyber 得分 85.6%，单模型最高分。Claude Mythos 5 第二，83.8%。Claude Opus 4.7 排末尾，73.1%。
AI for Science，迎来百亿独角兽！CuspAI 将完成一轮4亿美元融资，打造材料版“谷歌”（在新窗口打开）
近日，《金融时报》报道称AI for Science企业CuspAI将完成一轮4亿美元融资，投资方包含亚马逊创始人杰夫・贝佐斯家族办公室Bezos Expeditions与知名风投凯鹏华盈（Klein
刚刚，百度开源模型Unlimited OCR拿下全球第一！作者疑似DeepSeek出走大神（在新窗口打开）
最新开源的Unlimited OCR，总参数3B，实际激活仅500M——放在大模型时代几乎是个零头。但就是这个小到离谱的模型，在OmniDocBench v1.5上拿下93.23%的综合分，v1.6更是达到93.92%，直接刷新了端到端SOTA。
何恺明团队发布像素空间文生图模型MiniT2I（在新窗口打开）
文本生成图像的领域早已经是一片红海，看上去已经卷无可卷了。
人在北京，用上豆包打车了！（在新窗口打开）
刚刚，豆包悄然上线打车服务。智东西发现，获得灰测资格的用户已经可以直接在豆包App内使用打车功能，底层运力由曹操出行提供。从体验来看，整个流程与传统打车软件相比进一步简化。
独家｜获超亿美元融资，Sand.ai 曹越：为什么视频是通往世界模型最重要的路径（在新窗口打开）
“每一代模型，我们都在押注一个非共识。”
奥特曼综艺首秀封神，13名硅谷大佬玩狼人杀，太有看头了（在新窗口打开）
家人们，硅谷这次真的把抽象玩明白了。 Sam Altman、Figma 创始人Dylan Field、Signal创始人 Moxie Marlinspike、Anduril 创始人 Palmer Luckey、Flexport创始人 Ryan Petersen、Founders Fund 合伙人 Trae Stephens…… 这群平时出现在融资新闻、AI发布会、产品传说和硅谷权力网络里的人，总身价多个亿都算不过来了。。 最近，他们坐到了一张桌上—— 玩狼人杀。 更准确地说，是Mafia，一种狼人杀的原型游戏。 游戏规则是：一共12名玩家，3名黑手党（坏人角色），9个好人角色，包括1名天使，1
马斯克又盯上AI基建：特斯拉要卖“算力积木”了（在新窗口打开）
特斯拉也盯上AI基建生意了。 刚刚，特斯拉向美国专利商标局(USPTO)提交了一个名叫“Megapod”的商标申请，计划销售模块化AI数据中心硬件。 根据商标描述，这是一套用于AI计算的模块化数据中心硬件系统，里面包括计算机服务器、AI数据处理硬件、网络设备、配电单元和冷却系统。 但是，就在不到一年前，特斯拉才刚刚解散了Dojo团队，亲手砍掉了自己唯一的自研AI训练超算。 刚把Dojo送走，这会儿又给AI数据中心注册新商标。 嗯？特斯拉这是换了个姿势，继续搞算力了？ Megapod是什么 目前能确定的信息来自商标申请。 特斯拉提交的商标名是MEGAPOD，申请序列号为99893717，申请日期
在清华，我拍到了物理AGI第一幕！（在新窗口打开）
机器狗去买咖啡，轮椅跟人抬杠：清华现场0遥操、全靠现挂。完全没有剧本，在清华现场，这群机器人直接把物理AGI第一幕演活了！
美国新提案：「国有化」AI巨头，「全民持股」50%（在新窗口打开）
84岁的桑德斯宣布，他的新提案将主张对OpenAI、Anthropic、xAI征收50%的股权税，建一个全民共享的 AI 主权财富基金。
DeepSeek缺Agent人才缺疯了！负责人各种贴广告（在新窗口打开）
DeepSeek好缺Agent人才啊……
可口可乐的世界杯TVC，居然是prompt生成的（在新窗口打开）
什么？这届世界杯，能一边看球一边跟范指导唠嗑了？！
AI for Computing迎来破局者，国产黑马智子芯元两个月融了两轮！（在新窗口打开）
很多科学突破，最开始都来自一个朴素的问题：人类终于算得动了。天文学需要计算行星轨道，生物医药需要计算分子相互作用，现代 AI 需要在海量参数、数据和反馈中寻找更优解……
6月爆火的省钱神器Headroom来了。直接减少95%token消耗！Codex、Cursor终于不用狂烧上下文了（在新窗口打开）
一个开源的省Token工具Headroom，火了！公开页面显示Headroom已有4万多个star，最新版本是v0.26.0。一个“上下文压缩层”工具能到这个热度，已经说明很多问题。