2025-09-15
AI科研与数学推理突破
AI高斯Agent三周完成人类18个月才能形式化的素数定理，TiM训练范式兼顾速度与质量，NeuralGCM为3800万农民提供气候预测，显示AI在数学、气候、生物等硬核科研领域正成为“第一作者”。
2025-06-17
搜索与浏览器AI原生重构
ChatGPT搜索升级精准响应，LinkedIn AI求职搜索告别关键词，Glean获1.5亿美元融资估值72亿；Arc推出AI原生浏览器Dia，浏览器与搜索框被对话式交互重新定义。
2025-06-12
AI搜索与开发者工具加速落地
360发布“纳米AI超级搜索智能体”直接交付结果，Glean获1.5亿美元F轮融资估值72亿美元，字节自研AI IDE Trae月活破百万并交付60亿行代码，Dia浏览器内置多模型对话，华为昇思MindSpore开源成“万能钥匙”，AI搜索与编码工具正成为生产力入口的新战场。
2025-03-19
视频/多模态生成浪潮
马斯克收购 4 人视频团队、StableAnimator 端到端 ID 一致性人类视频、Stability AI 2D 照片转 3D 视频，视频生成赛道在 Sora 后迎来二次爆发，巨头与初创齐攻“可控、一致、低成本”三大痛点。
2024-10-13
AI数学推理突破
清华校友团队用LeanAgent系统成功证明162个高阶数学定理，攻克陶哲轩形式化难题；同时o1模型在复杂推理任务上再进化，显示大模型数学与逻辑能力正快速逼近甚至超越人类专家，为科研自动化打开新范式。
2024-09-11
AI融资与商业化落地
Glean、Smartcat、InMobi、人形机器人「加速进化」等相继斩获大额融资，涵盖AI工作平台、翻译、广告及硬件；Lumen押注AI扭转债务危机，戴尔AI服务器销量虽增但利润受压，显示资本热潮下商业模式与盈利能力仍待验证。
2024-08-10
学术前沿与人才动态
CMU-清华LeanSTaR框架让LLM边思考边证明定理刷新miniF2F榜单，UCLA华人研究生联手MIT破解组合数学等差数列难题，吴恩达亲授Python AI新课降低入门门槛，顶级高校与在线教育平台持续为AI研究与应用输送新方法与人才。
2024-06-16
AI for Math与形式化证明
陶哲轩等顶尖数学家公开宣称AI将颠覆数学研究，Lean等形式化工具可一次性秒杀成百上千条定理，预示数学证明进入“半自动化”时代，为AI科学发现树立新范式。
2024-04-24
科学计算+AI提速
AlphaFold2再评估、Lean Copilot自动化80%数学证明、TimeGPT刷新时序预测，显示大模型正成为科研基础设施；AI for Science进入“工具标配”阶段，加速材料、生物、海洋等多学科发现。