15:34
北京市新增2款已完成备案的生成式人工智能服务
截至今日，北京市新增2款已完成备案的生成式人工智能服务，累计已完成205款生成式人工智能服务备案。（网信北京）
AI新闻
12月
24日
7 条新闻
14:59
国产AI4S创业头雁再获8亿投资！深势科技完成C轮，产品已服务300万科学家
深势科技完成超8亿人民币C轮融资，将用于进化其“科学发现智能引擎”，加速AI在基础科研、生命科学等领域的应用。公司构建了从数据到实验的全链条智能化科研产品矩阵，服务全球300多万名科学家，显著提升科研效率。AI for Science成为全球共识，深势科技致力于打造能够自主进行科学发现的智能系统，推动科学研究范式变革。
14:32
中国下半年新上线AI应用共205个，流量规模上通用和垂类AI分庭抗礼
Quest Mobile发布的《2025下半年AI应用交互革新与生态落地报告》显示，中国下半年新上线AI应用共205个，其中，应用插件（In-App AI）占比达81.5%，PC端网页应用占比10.7%，原生App占比7.8%。AI图像处理与AI专业顾问是下半年热门赛道；AI搜索与AI综合助手虽已形成近7亿规模用户池，仍吸引新玩家突破性入局争夺流量入口。
最新统计周期内（12月8日至12月14日），周活跃用户规模Top10的AI APP中，有6个通用AI，4个垂类场景的专业AI，形成了通用和垂类AI分庭抗礼的格局。豆包的周活跃规模达到了1.55亿，DeepSeek、元宝分别为8156万、2084万。蚂蚁阿福App、灵光App周（12.08-12.14)活跃用户规模分别达1025.4万和295.2万，位列下半年新上线原生App第一、第二。（广角观察）
13:30
上海市新增9款已完成登记的生成式人工智能服务
截至12月24日，上海市新增9款已完成登记的生成式人工智能服务，累计已完成139款生成式人工智能服务登记。（网信上海）
12:28
字节推出形式化数学推理专用模型Seed Prover 1.5
字节跳动Seed团队宣布推出形式化数学推理专用模型Seed Prover 1.5。据介绍，相比上一代模型，Seed Prover 1.5在16.5小时内，针对IMO 2025的前5道题目生成了完整可编译验证的Lean证明代码，换算成绩为35/42，达到此前IMO评分标准的金牌分数线。Seed Prover 1.5的技术报告已对外公开，后续将开放API，邀请感兴趣的数学和AI研究者体验该模型。（广角观察）
12:28
YC 2025年度AI报告：Gemini崛起、Vibe Coding成熟，你需要更新的15个认知
Y Combinator最新一期播客总结了2025年AI行业趋势，Anthropic和Gemini在模型竞争中崛起，分别凭借优秀的代码编写能力和推理能力超越OpenAI。同时，AI基础设施泡沫预示着计算资源将更加廉价且充沛，为初创公司提供了更多机会。此外，Vibe Coding成为一种成熟的开发方式，垂直领域的小模型击败通用大模型，显示出专有数据的重要性。
12:28
原地平线智能驾驶总裁创业机器人一年：9988元，养一只家里的“小狗哥”
维他动力推出消费级四足机器狗“Vbot超能机器狗”，定位为家庭伙伴，具备全地形通过能力、自主跟随及多场景应用功能。该产品采用混合架构，云端大模型处理复杂语言理解与推理，端侧自研模型保障任务响应效率和弱网环境下的表现。其核心竞争力在于打造具有探索好奇心、生存欲及安全意识的自主智能体，旨在推动AI机器人在C端市场的普及。
12月
18日
2 条新闻
10:52
谷歌推出最新人工智能模型双子座3 Flash
谷歌公司17日宣布推出最新人工智能模型双子座3 Flash。谷歌称，双子座3 Flash是其最新推出的兼具前沿智能与高速性能的模型，保留了双子座3在高级推理、视觉理解和交互式代码生成等方面的核心能力，同时显著提升了响应速度和成本效率，在多个标准评测中表现优异。据谷歌介绍，该模型性能超越了双子座2.5 Pro，速度提升约3倍，且运行成本远低于前代。在用于评估代理编码能力的专业基准测试中，其得分甚至超过了双子座3 Pro。（新华社）
10:51
谷歌DeepMind CEO：AI泡沫大量存在于初创企业中
DeepMind CEO Demis Hassabis 警告当前 AI 初创公司估值存在泡沫，尤其是一些尚未运营但估值已达数百亿美元的企业。他指出，虽然短期内AI被过度炒作，但从长远来看其价值仍被低估。Hassabis 强调，真正的商业价值在于大型科技公司的持续投资和技术研发，而非高估值的初创企业。
12月
15日
11 条新闻
12:25
OpenAI前CTO再创业，新产品Tinker宣布接入Kimi K2 Thinking
前OpenAI首席技术官Mira Murat离职后，率一批OpenAI旧将创办Thinking Machines Lab，据多家媒体报道，最新估值将达 500 亿美元。Mira Murat日前发文介绍，首款产品Tinker已正式全面开放，并新增万亿参数级推理模型Kimi K2 Thinking，Mira Murat表示，Kimi K2 Thinking是专为长时长推理和工具调用设计的“怪物级”模型，也是Tinker目前产品线中最大的模型。（广角观察）
12:24
人人拥有AI科学家，一文读懂Deep Research的今生与未来
Deep Research 推动 LLM 从文本生成向知识发现转变，实现复杂开放式任务。该技术已被应用于科研、软件工程等领域，支持学术综述、实验执行等任务。研究将其划分为自主搜索、整合研究和全栈AI科学家三个阶段，涵盖查询规划、知识检索、记忆管理和答案生成四大核心组件。未来面临检索时机、记忆进化、训练算法及评估体系等挑战，需发展统一推理范式、标准化记忆系统及模块化框架以提升通用性和可靠性。
12:24
OpenAI突然开源新模型，99.9%的权重是0，新稀疏性方法代替MoE
OpenAI开源了一种名为Circuit Sparsity的新模型，该模型通过极大稀疏化（99.9%权重为零）实现了内部计算过程的高度可解释性，直接针对传统稠密Transformer模型的黑箱问题。与MoE模型相比，Circuit Sparsity追求的是原生稀疏性和任务功能解耦，尽管当前面临算力成本高的挑战，但其在提升AI可解释性方面展现出巨大潜力。
12:24
AI御三家年终“火拼”
2025年人工智能领域竞争激烈，OpenAI发布GPT-5.2，强调专业知识处理能力与超长上下文记忆；Anthropic推出Claude 4.5，提升自主编程及工具操作稳定性；谷歌DeepMind发布Gemini 3，实现原生多模态融合。三者在推理、编程及智能体任务上均有显著进步，推动AI向更高效、多功能方向发展。
12:24
大模型的多轮对话：让模型真正“像人”的终极关卡
本文深入剖析了多轮对话作为AI最高级任务的难点，包括上下文记忆、意图推断和自然语气维持。训练师需具备心理咨询、文案撰写等综合能力，确保模型在复杂情境下提供恰当反馈。多轮对话训练显著提升用户体验，是实现AI‘像人’沟通的关键。
12:16
苏州大学首篇数学四大刊！解决了40年未决的丢番图逼近问题
苏州大学副教授张涵与国际合作者将数论中的辛钦定理推广至自相似测度，解决了40年未决的丢番图逼近问题。该成果不仅促进了数学领域的交叉研究，还为AI在处理复杂数据分布、优化算法及提升模型训练效率等方面提供了新思路，特别是在多模态融合和边缘计算等未来趋势中展现出巨大潜力。
11:23
陶哲轩震撼，数学家1975年埋下的「坑」，被AI和全球网友用48小时填平了
AI工具Aristotle与全球数学家合作，在48小时内解决了困扰数学界50年的Erdos#1026问题。该案例展示了AI在生成新数学洞见方面的能力，而非仅仅检索现有文献，显著提升了研究效率。此事件标志着人机协作在数学研究中的新范式，预示着未来AI将在更多领域促进知识创新和技术突破。
11:23
哈佛最新调查：59%感到被AI威胁，超半数离不开
哈佛最新民调显示，59%的18-29岁受访者认为AI正威胁其职业前景。尽管35%的年轻人定期使用如ChatGPT等大模型，并有52%信任AI完成任务，但同时存在对职业价值感下降和不可替代性减弱的担忧。随着AI在创意、编程、金融分析等领域渗透加深，年轻一代面临机遇与挑战并存的局面，促使他们重新思考个人价值与未来定位。
11:22
GPT-5.2降智遭全网差评，奥特曼慌了
OpenAI发布的GPT-5.2在多项基准测试中表现不佳，特别是在与谷歌的Gemini 3 Pro对比时。GPT-5.2在数学、视觉推理等任务上落后于Gemini 3 Pro，在预训练技术上也未见显著突破。面对竞争压力，OpenAI正加速优化ChatGPT并计划推出新的图像模型以期扭转局势。
11:22
AI巨头暴跌背后的真相
近期AI板块大跌反映了市场对AI产业链进行深度的’理性重新定价’。尽管博通和甲骨文财报显示AI需求依然强劲，但市场开始从追逐增长规模转向审视盈利质量与订单兑现确定性。资金并未完全撤离，而是从拥挤的AI中游配套板块流向稳健资产。未来，AI行业将分化，真正具备核心技术、稳定盈利能力及多元客户结构的企业将在市场筛选中胜出。
11:22
6位前DeepMind老将打造「AI指挥官」，一半成本刷新SOTA
Poetiq团队由6名前DeepMind成员创立，开发了一种元系统，该系统可自动生成解决特定任务的策略和模型组合，显著降低了推理成本。其Gemini 3 Pro优化技术在ARC-AGI-2上以54%的成绩领先，每任务计算成本仅31美元，比之前最优方法便宜一半。这一创新不仅提升了大模型解决复杂问题的能力，还推动了低成本推理的边界。