今日焦点 / HIGHLIGHTS
- DeepSeek新一轮融资增至约1000亿元
- 英伟达洽购开源AI公司Reflection AI
- DeepMind模型连破9道悬臵56年数学难题
- 阶跃星辰Step 5接入腾讯WorkBuddy
- 模思智能完成超10亿元Pre-A轮融资
重磅头条 / HEADLINES
【DeepSeek新一轮融资增至约1000亿元，投前估值维持约5000亿元】10月13日，据《财经》报道，DeepSeek最新一轮融资临近完成，金额从此前计划的500亿元增至约1000亿元，投前估值仍约5000亿元。新进投资方以产业资本为主，腾讯、宁德时代等老股东继续加码，公司并已聘请CFO筹备上市。（IT之家/财经）
【英伟达洽谈收购开源AI公司Reflection AI，估值约250亿美元】据英国《金融时报》10月10日报道，英伟达正与开源模型公司Reflection AI谈判，拟全资收购、增持股份或以收编团队加技术授权模式达成交易。该公司由前DeepMind研究员创立，刚发布首个开源权重模型Beam，投前估值250亿美元，英伟达此前已投资8亿美元。（金融时报）
【DeepMind的AlphaProof Nexus连破9道悬臵数学难题，成果登《科学》】谷歌DeepMind的AlphaProof Nexus研究成果发表于《科学》杂志：在353道开放性埃尔德什问题中解决9道，其中两道悬臵56年，另证明44条OEIS数列猜想。系统以大模型生成候选证明、经Lean编译器验证迭代，证明文件已在GitHub开源。（The Decoder）
科技与产品 / PRODUCTS & TECH
【阶跃星辰Step 5 Preview接入腾讯WorkBuddy，限时免费两周】10月12日，腾讯全场景AI办公工作台WorkBuddy接入阶跃星辰最新旗舰模型Step 5 Preview，限时独家免费开放两周。该模型主打推理与智能体能力，可处理深度研究、信息检索、数据分析与文档生成，并支持多步骤复杂任务持续执行。（每日经济新闻）
【微软发布决策评分模型Microsoft-Decision-1，基于Qwen3.5-9B后训练】微软10月发布决策评分模型Microsoft-Decision-1，底座采用阿里开源Qwen3.5-9B后训练，在36项盲测基准（约15万题）取得83.5%平均准确率，P50延迟仅85毫秒，比GPT-6 Sol快约35倍，输入Token每百万0.042美元。（钛媒体）
投融资 / IPO & FUNDINGS
【模思智能完成超10亿元Pre-A轮融资，华控基金领投】10月12日，多模态大模型公司模思智能宣布完成超10亿元Pre-A轮融资，由华控基金领投，国开科创、上海科创基金等参与。资金将用于全模态实时交互智能研发与全球商业化，创始人为复旦大学特聘教授邱锡鹏。（每日经济新闻）
【DeepSeek拟领投胡瀚创办的Winverse AI种子轮，估值约4亿美元】10月13日，据证券时报消息，DeepSeek计划领投机器人公司Winverse AI种子轮融资，金额达数千万美元，美团龙珠跟投。该公司成立数月，由腾讯原混元多模态大模型负责人胡瀚创立，主攻具身智能大模型。（证券时报）
开源与技术 / OPEN SOURCE & RESEARCH
【AlphaProof Nexus证明文件开源，AI形式化数学验证成范式】DeepMind在GitHub开源AlphaProof Nexus全部Lean形式化证明，系统采用「大模型生成+编译器反馈」多智能体架构。论文显示无AlphaProof工具的基础Agent无法解出任何埃尔德什问题，「生成-验证」闭环被视为AI研究新范式。（GitHub/Science）
公司与人物 / COMPANY & PEOPLE
【小米大模型团队人事落定，罗福莉团队职级晋升】据晚点LatePost报道，小米9月22日发布内部晋升名单，大模型团队负责人罗福莉获得晋升，接近小米人士称其已至小米职级体系最高级别22级，继续晋升主要体现为职务变化，反映小米对大模型业务的持续加码。（IT之家）
【DeepSeek聘请90后投资人严文韬出任CFO，上市筹备提速】据东方财富等媒体报道，DeepSeek已聘请高瓴创投前合伙人严文韬出任首席财务官。严文韬曾参与投资MiniMax、智谱AI、字节跳动等项目，业界普遍视其为DeepSeek筹划上市前的人事就位，公司已被曝聘请中信证券筹备科创板IPO。（东方财富网）
Powered by AOYII.com
