搜索：基础数学研究

「基础数学研究」共找到 2624 篇相关文章

证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！

本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。

谷歌发布首个原生多模态嵌入模型Gemini Embedding 2，将文本、图像、视频、音频和文档映射进同一嵌入空间，支持多模态混合输入，为AI Agent“看懂”世界提供关键基础，已展开公测。

OpenAI研究员Noam分享Keller Jordan、Sholto Douglas等“非典型”研究员经历，他们主动性强、公开研究，无博士学位也进入前沿AI实验室。现在进大厂，博士学位非必需，尽早进厂更好。

人工智能进入转折点，AI Agent 崛起但存在瓶颈。ICLR 2026 会议期间的 Lifelong Agent Workshop 将深入探讨相关问题，推动终身智能体研究范式，现开启二轮征稿。

原定OpenAI收购AI编程初创公司Windsurf交易取消，其CEO等核心人员转投谷歌DeepMind，围绕Gemini研究“代理编码”。谷歌是“人才聘用”，获部分技术非排他许可，Windsurf继续运营。

OpenAI宣布39岁的Fidji Simo出任「应用CEO」，向奥特曼汇报。奥特曼仍为CEO，未来专注研究、算力与安全。Fidji经验丰富，曾在Facebook工作十年，还担任过Instacart CEO。

上海交通大学和清华大学研究人员开源个性化联邦学习代码库PFLlib，含39种算法、3种场景和24个数据集，支持模拟500设备训练，还有隐私保护评估工具，降低研究门槛。

十年前，AlphaGo击败李世石，让世人看到AI潜力。此后，DeepMind不断推进，其技术从棋盘拓展到科研，如AlphaFold解决蛋白质折叠难题，AlphaProof在数学推理获佳绩，这些成果显示AGI正接管科研。

文档视觉编码器对LLM理解和推理很重要。MonkeyOCRv2提出‘重建即文档视觉记忆’，通过多组实验验证其有效性，还发布MonkeyDoc v2数据集，推动公平比较的研究文化。

AI研究工程师Manthan Gupta复盘Clawdbot记忆机制，其记忆用MD文档存档，有双层记忆系统。系统有独特管理方式，如压缩、记忆刷新等，坚持透明度、搜索、持久性、混合等原则。