「AI 数学发现」共找到 10370 篇相关文章
独家丨前毫末智行CEO顾维灏创业，成立机器人新公司
AI科技评论独家消息，前毫末智行CEO顾维灏成立「紫星勤行」，布局酒店服务机器人赛道。他是老百度人，曾深度参与百度Apollo项目，毫末智行曾获多轮融资，现他在新赛道寻可能。
字节跳动发布SeedFold，蛋白质结构预测相关多任务超越谷歌AlphaFold 3，揭示大模型缩放新秘诀
字节跳动Seed团队推出新一代折叠模型SeedFold，在多个蛋白质相关任务性能上超越谷歌AlphaFold 3。该研究为有效缩放生物分子基础模型提供新思路，推出加宽模型、线性三角注意力等方法。
人大高瓴赵鑫团队新作：先拆掉 RLVR，再重建推理模型训练
人大高瓴赵鑫团队围绕RLVR框架做系统实验，完成论文《A3PO: Adaptive Asymmetric Advantage Shaping for Reasoning Models》，提出A3PO方法。该方法将训练重点转向关键决策点，让推理模型学习更可控。
52KB 的奇迹！NovaSR 开源：16kHz 秒变 48kHz，快出天际的音频超分模型！
在AI“巨物崇拜”盛行时，NovaSR开源带来“微型震撼”。它仅52KB，能将16kHz音频提至48kHz，单张A100达3600倍实时。可端侧运行，效率提升显著，有诸多应用场景。
GPT-5.2连肝7天，300万行代码造出Chrome级浏览器
Cursor的CEO让GPT - 5.2连续运行一周，产出300万行代码，从零构建Chrome级浏览器。还介绍不同模型长任务表现、多智能体协作架构，指出这将颠覆软件开发经济学。
刚刚，梁文锋署名开源「记忆」模块，DeepSeek V4更细节了
十几个小时前，DeepSeek 发布新论文，与北大合作，作者有梁文锋。针对大模型问题提出条件记忆，用 Engram 模块实现，已开源。结合此前研究，DeepSeek v4 模样渐清。模型性能、效率表现优，并发现 U 型扩展规律。
5.6K Star！原本付费现在开源！本地版“ElevenLabs”，视频翻译+声音克隆全免费！
今天给大家安利GitHub上开源神器Voice - Pro，它原本是商业付费软件，因团队无暇管理而开源。整合多个先进语音模型，将视频处理流程打包成本地软件，免费且功能强大。
四周2亿人围观！诺奖凭什么颁给他，都在这一个半小时里
纪录片《思考游戏》上线四周破2亿观看，由AlphaGo原班团队历时五年拍摄。它揭秘DeepMind实验室，讲述从质疑中诞生，经游戏试炼、AlphaGo对决，到攻克蛋白质折叠难题，同时也引发对AGI发展的思考。
谷歌黑魔法，没人能看懂的Gemini 3 Flash
Gemini 3 Flash速度快3倍且智力超Pro，但没人明白其更「聪明」的原因。它打破「参数即正义」逻辑，在多项测试领先。谷歌或靠TPU、算法、数据优化，还可能用了Titans架构，有重大战略意义。
最火、最全的Agent记忆综述，NUS、人大、复旦、北大等联合出品
多所顶级学术机构联合发布百页综述《Memory in the Age of AI Agents: A Survey》，为‘Agent Memory’梳理技术路径。提出三角框架，辨析与其他概念差异，还探讨记忆形式、功能、运转机制，展望未来发展方向。