如果说 2023 年是 AI 的大爆炸时代，那么 2025 年就是 AI 宇宙中第一道光芒照亮黑暗的时刻。混沌初开的迷雾正在散去，基础性公司的星系开始成形，构建 AI 产品的最佳实践逐渐清晰，创业成功的模式也开始显现。
形式化定理证明，又有新范式！ 阶跃星辰正式发布并开源了形式化定理证明大模型：StepFun-Prover-Preview-7B和StepFun-Prover-Preview-32B。
GPT-5比人类医生还会看X光片？！ 最新研究显示，GPT-5对医学影像的推理和理解准确率分别比人类专家高出24.23%和29.40%。
谷歌开源Gemma 3 270M闪亮登场！只需几分钟即可完成微调，指令遵循和文本结构化能力更是惊艳，性能超越Qwen 2.5同级模型。
前沿 AI 模型真的能做到博士级推理吗？ 前段时间，谷歌、OpenAI 的模型都在数学奥林匹克（IMO）水平测试中达到了金牌水准，这样的表现让人很容易联想到 LLM 是不是已经具备了解决博士级科研难题的推理能力？
无需人工标注，吞下17亿张图片，Meta用自监督学习炼出「视觉全能王」！NASA已将它送上火星，医疗、卫星、自动驾驶领域集体沸腾。
加拿大AI新贵Cohere获5亿美元融资、估值68亿美元，前Meta FAIR副总裁、PyTorch与Llama重要推手Joelle Pineau加盟出任首席AI官，或将开启企业AI新战局。
随手拍的一张图，就能秒变3A级游戏大作？！ 刚刚，腾讯全新开源游戏视频生成框架Hunyuan-GameCraft，专为游戏环境设计，让任何人都能轻松搞定游戏制作。
短短两个月前，我们还在感叹 31 家 AI 小团队的高效表现，当时团队平均规模仅 20 人，人均创造收入高达 279 万美元（参见《细数 31 家 AI 应用小团队，平均 20 人、人均创收 279 万美元》）。
和马斯克一起创业的人到现在已经离开了四分之一。 2023 年 7 月 12 日，马斯克和其余 11 位联合创始人宣布成立了 xAI，带着「理解宇宙」的使命强势进军 AI 行业。
