AI NEWS: 2025.07.07-07.13

xAI发布Grok 4

• xAI公司正式发布新一代大模型Grok 4。Grok 4不仅包含普通版本，还推出月费300美元的Grok 4 Heavy版本。该版本通过并行生成多个Agent实现性能突破。
• Grok 4在多项专业测试中取得优异表现，特别是在HLE测试中，解决了超过50%的博士级难题，远超其它大模型。Grok 4 Heavy则展现出解决现实问题的能力，例如预测棒球比赛结果、模拟黑洞碰撞等。

xAI完成新一轮100亿美元融资

• xAI近日成功筹集100亿美元，包含50亿美元债务融资和50亿美元战略股权融资，估值达到750亿美元。本轮融资由摩根士丹利牵头，吸引包括黑石集团、红杉资本、安德森·霍洛维茨、英伟达和AMD在内的众多顶级投资者参与。
• 据报道，xAI还在就约200亿美元的股权融资进行谈判，潜在估值可能高达1200亿至2000亿美元。融资资金将主要用于加速xAI的基础设施建设，包括扩展其位于田纳西州孟菲斯的Colossus超级计算机集群，计划将GPU数量从10万个增至20万个。

微软发布BioEmu模型，极大缩短蛋白质模拟时间

• 微软发布BioEmu模型。该模型可以将蛋白质动态模拟从数年压缩至几小时，极大加速医药、生物研究效率。目前，该研究已在《自然》上发表。
• 传统的蛋白质结构解析方法，如X射线晶体学和核磁共振技术，虽然能够提供高精度的结构信息，但耗时长、成本高，并且对于一些难以结晶或复杂的蛋白质系统效果不佳。虽然DeepMind的AlphaFold2模型在单个蛋白质结构预测方面取得巨大成功，但在模拟蛋白质动态平衡构象集合方面仍存在不足。而微软的BioEmu通过将蛋白质的序列信息转化为三维结构的多种可能构象，有效解决这些难题。

微软开源新版Phi-4，推理效率大幅提升

• 微软开源Phi-4最新版本Phi-4-mini-flash-reasoning。该版本延续Phi-4参数小、性能强的特点，整体推理性能大幅度提升，尤其是高级数学推理能力，适合教育、科研领域。