OpenAI让Astra写出十个证明
编辑精选 Astra 这组证明的看点不止“AI 会做数学”。OpenAI 同时交出论文、Lean 证书和推理记录，等于把数学成果从口头战报推到可复查工程件。 如果一家公司说自己的模型解了数学难题，最麻烦的问题往往很快出现：谁来确认它没漏掉一
第 18 页
查看归档 →Suno音乐版权案德国败诉
编辑精选 慕尼黑法院把“AI 训练能不能合理使用”的大争议，收束到一个更窄也更硬的点：Suno 的输出被认定能复现六首知名歌曲的原创元素。 AI 音乐版权案在欧洲落下一个很具体的判点：模型训练本身之外，输出像不像原作，也会决定平台能不能继续
欧盟AI标签开始强制落地
编辑精选 欧盟把“告诉用户这是 AI”从产品礼貌变成合规动作。聊天机器人、深度伪造和自动化客服先被点名，模型公司、平台和应用开发者都要重新审视上线流程。 AI 生成内容进入欧洲市场，少了一层含糊空间。 从 8 月 2 日起，欧盟《人工智能法
Seedance 2.5补上30秒
编辑精选 Seedance 2.5 的新意不限于 30 秒长度，字节把参考素材、按秒点位编辑和上线入口同时摆出来，视频模型开始更像制作工具。 视频模型的竞争，过去常被压缩成一个问题：谁的画面更像电影。字节跳动 7 月 31 日正式发布 Se
OpenAI用户越过10亿
编辑精选 OpenAI 这次把 10 亿活跃用户、200 万企业客户和 GPT 5.6 降价放在同一篇账本里，重点已经从“谁的模型更强”转向“谁能把强模型卖得起、跑得动”。 四个月前，OpenAI 还被市场盯着一个没完成的数字：ChatGP
Inkling Small追平975B旗舰
编辑精选 Thinking Machines 把 Inkling Small 全量权重放出后，最醒目的信号落在成本曲线上：12B 激活参数已经能贴近 41B 激活旗舰的多个能力项。 Mira Murati 的 Thinking Machin
亚马逊AI年化收入破250亿美元
编辑精选 亚马逊这季把 AI 算力账本摊开了：AWS AI 和芯片业务年化收入都超过 250 亿美元，Anthropic 投资收益又把利润一次性抬高。 亚马逊这份财报，表面是股价盘后涨了近一成；往里看，像一张 AI 基建账单：云业务重新加速
MiniMax H3把视频模型开源
编辑精选 MiniMax H3 把 2K、15 秒、原生立体声和开源权重放在同一张发布牌上；0.8 元/秒的价格很醒目，但开放权重仍要等后续文件落地。 7 月 31 日，MiniMax 发布 H3，多模态视频模型赛道多了一个很少见的组合：官
发改委给人工智能立法提速
编辑精选 发改委把 10 万卡超集群、2.8 倍智能算力和人工智能法放进同一场发布会，信号很清楚：AI 产业继续冲，规则底座也要同步补。 中国 AI 产业的最新官方口径，少见地把两件事摆在同一张桌上：一边是全国产 10 万卡人工智能超集群、
DeepSeek开放V4-Flash正式版API
编辑精选 DeepSeek 用同一套 284B/13B 模型结构，把 Terminal Bench 2.1 自报成绩从 61.8 拉到 82.7；涨幅来自后训练与尚未公开的极简 harness，复现仍要等工具放出。 DeepSeek 7 月