DeepMind

AlphaProof证明系统破解了大模型数学理解不稳定的痛点。DeepMind利用Gemini与Lean编译器闭环，低成本自主攻克了9个埃尔德什开放数学难题。此研究标志着数学形式化证明搜索的大规模落地...

Windsurf核心开发者Ronak Malde从DeepMind离职，并公开了他在AI Coding赛道积累的保姆级开发提效秘籍：通过寻找正确的技术方向，以及做足核心共识并无情砍掉干扰任务，帮你实现...

大模型评估系统正面临失效危机。当模型跨入全新区间，静态基准将暗中失效。前DeepMind研究员Lun Wang指出，限制AI下一次飞跃的是评估而非算力。行业急需引入物理学中的‘序参量’预测智能相变，并...