量子位
奥特曼：假如给我一千倍算力，我会这样做
奥特曼认为下一代模型将令人惊叹，并指出它们应具备强大的推理能力、处理大量上下文信息的能力以及访问各种工具的特性。他强调了持续快速进步的重要性，而不仅仅是单一的突破。
图灵奖得主Bengio再创业：启动资金就筹集了3000万美元
Yoshua Bengio宣布成立LawZero非营利组织，致力于开发设计即安全的AI系统，并明确不发展Agent形态。该组织通过多家慈善机构筹集了3000万美元启动资金。
清华推出AI数学家！独立完成数学理论难题，自动调用基本定理、构建证明思路
清华大学AIM团队推出AI Mathematician（AIM）框架，能够求解前沿理论研究并证明完成度高。通过探索、验证和修正模块，成功解决量子算法问题、吸收边界条件等问题。未来将通过改进机制提升能力。
陶哲轩转发！华人数学博士后反超DeepMind AI，停滞18年数学问题1个月内3次突破
数学家陶哲轩评价AlphaEvolve成果后，人类通过改进和分析方法进一步提升了集合和差问题的下界。Fan Zheng博士引入大偏差估计理论，将θ提升至1.173077；匈牙利数学家Robert Gerbicz则通过添加坐标约束参数，得到超大规模集合，并计算出最优θ值1.1584。陶哲轩认为AI和人类方法可以互补，共同促进数学进步。
阿里通义开源「推理+搜索」预训练新框架：小模型媲美大模型，多个开放域问答数据集表现显著提升
阿里通义实验室发布MaskSearch预训练框架，提升大模型推理搜索能力，在多个开放域问答数据集上显著性能提升。该框架结合检索增强型掩码预测任务与监督微调、强化学习两种训练方法。
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
DeepMind发布形式化数学猜想库，收录多种形式化的数学猜想。该资源库旨在帮助AI提升数学推理及证明能力，并有望成为自动定理证明或形式化工具的测试基准。
斯坦福意外用AI生成超强CUDA内核，性能比人类专家优化得还要好！翻倍碾压原生PyTorch，华人主创
斯坦福团队通过意外发现，由AI生成的内核性能超越了人类专家专门优化过的版本。这项研究展示了大模型在探索高级优化和硬件特性的能力。