「数学研究目标」共找到 2660 篇相关文章
斯坦福：优化器「诸神之战」？AdamW 凭「稳定」胜出
斯坦福大学 Percy Liang 团队研究指出，虽有不少声称能显著加速的优化器替代方案，AdamW 仍为预训练稳健首选，但矩阵型方法在特定数据–模型比例下优势明显。研究还揭示了现有研究的方法论缺陷。
刚刚，美国把天眼交给Palantir！绝密信件曝光: AI拿到美军正式编制
3月外媒报道，美国国防部副部长信件称，Palantir的Maven人工智能系统将被列为「项目编制」，监管将转移，未来合同由陆军负责。其武器目标识别技术将获长期应用，Maven能整合数据、识别目标，还与Claude助力美军打击伊朗目标。
陶哲轩最新演讲：AI 不是来抢数学家蛋糕的，是来把蛋糕做大的
陶哲轩在 SAIR 基金会活动演讲指出，数学领域工作方式正被新技术撬动。数学保守、协作难，而形式验证是关键。他主导项目用三个月解决 2200 万代数题，还探讨了 AI 在数学中的应用，认为它应做大蛋糕。
压缩之外，Visual Tokenizer 也要理解世界？
MiniMax和华中科技大学发布视觉tokenizer新研究VTP，引发业界热议。该研究揭示传统仅以重建为目标的视觉tokenizer缺乏高层语义表示，提出在预训练中引入语义理解，还发现Scaling Law现象，虽有争议但为研究提供新视角。
突发！小扎“突袭”OpenAI核心，四名顶尖华人被挖走
扎克伯格亲自招募，从OpenAI挖走4名顶尖华人研究员，此事已被OpenAI研究科学家路橙确认。这4人是OpenAI顶尖研究人才，对OpenAI来说是重大损失。
ChatGPT引爆教育革命，学习效果暴涨86.7%！
新智元报道，Nature子刊元分析汇总51项研究，揭示ChatGPT显著提升中小学生学业表现和高阶思维能力，不限学科和使用方式，还能减轻精神负担，但使用需家长和老师指导。
2025.7.4上午 | 视觉智能驱动的多模态对齐与推理的近期系列工作分享 - 复旦博士生王思尹
本次分享由复旦博士生王思尹围绕‘视觉智能驱动的多模态对齐与推理’展开，介绍多模态大模型探索研究，涉及跨模态组合语义理解、视觉参与推理及基于视觉建模世界完成行动等内容。
吴恩达来信：利用编程智能体实现更高效开发
吴恩达认为编程智能体正加速各类软件工作，按加速程度排序为前端开发、后端开发、基础设施、研究。前端开发加速明显，后端开发有提升但幅度小，基础设施和研究方面加速有限。
Meta AI大裁员，裁到了田渊栋？
据报道，Meta在人工智能部门裁减约600个职位，波及FAIR等团队。有科学家‘在线求职’，包括FAIR研究科学家总监田渊栋。Meta正将重心转向‘超级智能’，FAIR灵魂人物Lecun辞职威胁或成真。
科学家发现大脑中的“旋转风暴”，其结构竟类似Transformer注意力机制
2026年6月18日，叶智文团队关于大脑旋转波的研究成果发表于《科学》。他们借助先进设备发现小鼠脑中旋转波，总结特征、验证其与全脑及行为关联，还指出其类似Transformer注意力机制，未来将继续深入研究。