从一个关键词开始
搜名称，也可以搜场景，比如“AI 写作”“视频剪辑”或“编程助手”。
AI热点 23
DeepMind用AI验证Signal加密代码AI热点Google DeepMind宣布AlphaProof Code框架对Signal协议实际运行代码完成形式化验证，生成超600万行Lean证明，仅耗时四周，并开源相关工件。
阿布扎比与OpenAI签四项AI协议AI热点阿布扎比王储会见奥尔特曼，双方签署四项协议，覆盖能源、政府与投资领域的AI合作。
Anthropic首次与美联社达成内容授权AI热点Anthropic首次与美联社达成新闻内容授权协议，Claude可在选举夜实时展示AP结果并标注来源。
高通联手SpaceX推星链移动5GAI热点高通宣布与SpaceX达成多年期协议，自2027年起为星链移动网络提供核心无线电设备与基带单元，同时预计2027财年手机营收占比将首次跌破50%。
谷歌为Anthropic数据中心提供信用支持AI热点TeraWulf宣布与谷歌达成信用支持协议，为Anthropic在肯塔基州的190亿美元、20年期数据中心租约提供融资保障。
伯恩斯坦测算OpenAI算力支出6140亿AI热点伯恩斯坦估算OpenAI已披露算力协议对应支出到2030年累计约6140亿美元，低于此前7500亿美元传闻，2031年年度支出达峰值1840亿美元。
星衍智能Auriga领跑RoboDojo榜单AI热点星衍智能推出通用具身Harness框架Auriga，在Zero-shot协议下领跑RoboDojo榜单，并在RoboCasa365 Target50评测中取得领先表现。
美团开源LongCat-2.5多模态模型AI热点美团开源面向长程智能体的原生多模态模型LongCat-2.5，总参1.6万亿、支持百万上下文，采用MIT协议可商用。
OpenAI启动Grid Protectors电网计划AI热点OpenAI推出Grid Protectors计划，首站为Effingham County园区，与Georgia Power达成最高1000兆瓦灵活需求响应协议。
米哈游清华开源通用游戏模型GameScalingAI热点米哈游联合清华等高校开源GameScaling系列通用游戏模型，覆盖四档规模共八个模型，权重与推理代码以Apache 2.0协议发布。
Brookfield拟在Drax电站建AI数据中心AI热点Brookfield与Drax签约在约克郡电站园区合建AI数据中心，总投资或超200亿英镑。
无界动力与京东合作，K15机器人上岗七鲜咖啡AI热点无界动力与京东达成战略合作，首批具身智能机器人 K15 已落地北京两家七鲜咖啡门店，实现门店经营全流程无人化运行。双方计划推进 1000+ 七鲜门店规模化复制，目标达成 10 亿元产品合作规模，后续还将共同探索智能零售方案的全球化落地。
可灵AI增资交割完成，198亿元融资落地AI热点快手10月30日公告，旗下视频生成业务北京可灵增资交割完成，全体投资者出资约198.0184亿元，为AI视频生成领域迄今最大单笔融资，阿里、腾讯、百度及多家国资参投。
西门子医疗与达摩院签约推AI一扫多筛AI热点西门子医疗与阿里达摩院在进博会签署战略合作，将达摩院“一扫多筛”AI与影像设备结合，助力癌症及心血管病早期发现。
蚂蚁首批服务接入智能体运行平台AI热点蚂蚁在乌镇峰会披露，支付宝晓政、芝麻信用等首批服务已接入智能体运行平台并完成跨平台可信连接。
支付宝AHA智能体互联方案获新耀场景奖AI热点11月2日世界互联网大会乌镇峰会开幕，支付宝AHA智能体多端互联方案获“新耀”场景奖，已输出至6类终端、落地千余个服务场景。
LLM直接写出医学分类器权重AI热点新论文探索权重空间编程：让大模型直接写出医学图像分类器参数，无需训练数据，并给出与基线模型的AUC对比结果。
MiniMax开源33B全模态模型H3AI热点MiniMax在Hugging Face发布33B全模态生成系统MiniMax-H3，支持多模态输入与带立体声的2K视频生成，部分预处理模块未开源。
微软开源AI智能体依赖管理工具APMAI热点微软推出开源工具APM，用apm.yml统一管理智能体的技能、提示词与MCP服务器依赖。
Cloudflare与VoidZero发布Rust版tsrsAI热点Cloudflare携手VoidZero等开发者发布TypeScript编译器Rust移植版tsrs，类型检查最高提速8倍、内存降约70%，已开源并支持编译为WebAssembly在浏览器或Workers运行。