格隆汇12月24日｜字节跳动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月24日｜小米创办人、董事长兼CEO雷军今日上午在微博援引小米技术的文章，介绍小米自研开源模型，雷军表示：“MiMo-V2-Flash 是小米专为极致推理效率自研的总参数 309B（激活15B） MoE 模型，通过引入 Hybrid 注意力架构创新及多层 MTP 推理加速，在多个 Agent 测评基准上排在全球开源模型前二。”

格隆汇12月24日｜据韩联社，韩国产业通商资源部周三表示，政府明年将投入7000亿韩元(约合4.78亿美元)用于支持制造业人工智能(AI)转型项目，包括开发设备端人工智能芯片和出口人工智能工厂。

格隆汇12月23日｜据Tech星球，阿里已在近日上线“千问智学”App，这是阿里旗下AI教育应用产品，接入了阿里全新学习大模型，通过App中内置的智能体小千老师，一对一为小学到研究生阶段的用户免费解决各种学习问题。

格隆汇12月23日｜据通义大模型，阿里巴巴发布新一代端到端语音交互模型Fun-Audio-Chat，并已开源8B模型权重、推理代码、Function Call接入示例。

格隆汇12月23日｜美国银行CEO布莱恩·莫伊尼汉周一表示，今年人工智能(AI)投资的激增可能会对美国经济产生更大的影响。“AI投资在这一年里一直在蓄势，并可能在明年及以后年份成为更大的贡献因素，”莫伊尼汉在接受采访时表示。“AI的作用正越来越明显，虽然(经济增长)并非全部归功于AI，但它正在产生相当强劲的边际影响。”

格隆汇12月23日｜乐天集团正在一位谷歌老兵的执掌下扩建其AI团队，并致力于构建以成本效率为核心的AI模型。Ting Cai担任这家电子商务先驱企业的人工智能团队负责人已有三年，他的任务是创建能够增强公司多元化业务并以最低成本支持商业交易的AI系统。他目前管理着一支今年已增长至1,000人的团队，并拥有“数千枚”英伟达芯片组成的算力池。总部位于东京的乐天目前正面临移动业务陷入困境以及在线购物竞争激烈的局面，2024年，AI功能为公司贡献了105亿日元（约合6700万美元）的营业利润，公司目标是今年将这一数字翻倍。智能广告定向和投放提高了乐天线上商家投资回报率，而AI驱动的语义搜索和个性化推荐则提升了用户参与度和点击率。

格隆汇12月23日｜因揭露硅谷血液检测初创公司Theranos的欺诈行为而闻名的《纽约时报》调查记者John Carreyrou，于周一起诉xAI、Anthropic、谷歌、OpenAI、Meta及Perplexity，指控这些公司未经许可使用受版权保护的书籍来训练其大型语言模型(LLM)。Carreyrou与其他五位作家在加州联邦法院提起诉讼，指控这些人工智能公司盗用他们的书籍，并将其输入到驱动其聊天机器人的大型语言模型(LLM)中。这起诉讼是作家和其他版权所有者针对科技公司在人工智能训练中使用其作品而提起的多起版权诉讼之一。该案是首例将xAl列为被告的案件。

格隆汇12月23日｜钉钉今日将一次性发布超20款AI新品，其中包括企业级AI硬件DingTalk Real。这是继8月AI钉钉1.0发布后，钉钉时隔四个月再次公布AI进展。

格隆汇12月23日｜正在冲刺“全球大模型第一股”的智谱发布其新一代旗舰模型GLM-4.7。新版本在多项主流公开基准测试中取得开源模型中的最佳表现。在全球百万用户参与盲测的权威编码评估系统Code Arena中，GLM-4.7位列开源第一、国产第一，超过GPT-5.2。GLM-4.7面向Coding场景强化了编码能力、长程任务规划与工具协同，此外显著提升聊天、写作与角色扮演等方面的综合性能。

格隆汇12月22日｜日本政府自2026年度起的5年间将向国产人工智能（AI）开发提供1万亿日元（约合人民币447亿元）规模的支援。该资金将支援软银等十几家公司最快在明年春季设立的新公司。此举旨在官民协作致力于最尖端的基础模型研发，与在AI领域领先一步的美国和中国抗衡。政府还考虑对在生产第一线机器人上使用的AI也提供支援。

格隆汇12月22日｜阿里通义千问宣布推出图像生成模型Qwen-lmage-Layered，新模型采用自研架构，可将图片“拆解”成多个图层，每个图层都可以独立操作，而不会影响其他内容。