「数学危机」共找到 456 篇相关文章
首个代码世界模型引爆AI圈，能让智能体学会「真推理」，Meta开源
Meta重组后的AI部门推出首个代码世界模型CWM，是320亿参数开放权重LLM。它与传统大模型思路不同，能模拟代码执行。CWM在通用编程与数学任务表现不错，Meta还开放相关检查点以支持研究。
用户集体大逃亡！Cursor“自杀式政策”致口碑崩塌：“补贴”换来的王座，正被反噬撕碎
很多开发者吐槽并弃用 Cursor，因其付费后砍功能、技术变差、营销像‘障眼法’，引发信任危机。部分用户转向 Claude Code，不过企业侧使用情况有差异。AI 编程工具竞争激烈，需多维度构建优势，市场未来趋势明显。
小红书hi lab首次开源文本大模型，训练资源不到Qwen2.5 72B 的四分之一
6月6日，小红书hi lab团队首次开源文本大模型dots.llm1，采用MIT许可证。该模型激活参数量140亿，总参数量1420亿，上下文长度32K。训练资源不到Qwen2.5 72B的四分之一，在多个测评中表现出色。
o4-mini暴击六大数学天团，攻破陶哲轩难题！4.5h激战人类阵地失守
Epoch AI团队举办竞赛，约40位数学精英分成8组与o4 - mini - medium在FrontierMath基准上对决。o4 - mini击败6组团队，虽未完全超越人类，但Epoch AI预测到2025年底AI可能超30% - 50%人类基准。
ICLR2026｜东方理工大学、上海交通大学等：GenSR：把“离散的公式搜索”变成“连续的地图寻优”
符号回归（SR）目标是从观测数据自动发现数学表达式，但经典方法在离散方程空间搜索有局限。东方理工与上海交大团队提出GenSR，将方程世界重参数化为连续隐空间，用双分支CVAE构造并搜索，实验效果良好。
又走一个！OpenAI研究VP离职，转投Anthropic做RL研究员
OpenAI研究副总裁Max Schwarzer宣布离职，转投Anthropic做RL研究员。他曾主导o1、o3和GPT - 5系列post - training，因渴望回归一线研究而离开。OpenAI近年人才流失严重，而Anthropic虽面临与五角大楼交锋危机，但仍吸引人才。
ICML2025 | 揭示MLLM的图文联动推理能力
当前多模态大语言模型（MLLMs）在图文深度融合推理能力上面临挑战，现有评测基准无法真正检验该能力。EMMA基准应运而生，它从四大领域精选题目，采用双重过滤机制和细粒度标注体系，评测发现MLLMs存在多模态推理危机。
北大南开数学家解决著名“十杯马天尼”问题：更统一、更优雅的证明
困扰数学和量子力学交叉领域半个世纪的“十杯马天尼”问题，虽2005年被数学家给出完整证明，但原证明依赖特殊对称性，难以推广到现实。北大葛灵睿、南开尤建功加入研究，将结论推广到更大类准周期算子，给出更优雅统一证明。
他救了OpenAI、年赚过亿、三家明星CTO，却自曝跟不上AI发展了！硅谷大佬告诫：不是马斯克，就别碰大模型
Bret Taylor履历丰富，曾助力OpenAI解决危机。他认为AI市场将分化为前沿基础模型、AI工具层和应用型AI三个板块，不建议普通创业者做基础模型，看好应用型AI中Agent生态。还分享创业、编程等多方面见解。
OpenAI公开62页核心手稿！AI连破十大「菲尔兹奖级」难题
OpenAI公开62页核心手稿，展示GPT对十大「菲尔兹奖级」数学难题的完整推演，涵盖高维球体堆积、非sofic群构造等。仅花2000美元Token成本，引发全网热议，被指或为GPT - 6，强化学习大佬称像“奇点前夜”。