「数学危机」共找到 456 篇相关文章
8B模型任务击败GPT-5？阶跃星辰开源Deep Think新框架，小模型解锁百万Token测试时计算
阶跃星辰推出并行协同推理框架PaCoRe，让大模型突破上下文窗口和处理速度限制。基于此框架，小模型能解锁百万级Token测试时计算。PaCoRe - 8B在数学基准测试中超越GPT - 5，还具备前沿性能、“综合”能力涌现等优势。
13 年苦熬到 170 亿市值，一夜间被用户抛弃！一封“AI吹”全员信让网友“不喷不行”
Duolingo是热门教育应用，市值达170亿美元。CEO宣扬“AI优先”，引发网友不满，大量用户抗议。Duolingo早期靠志愿者产出高质量内容，后用AI生成，在小语种上问题频发，公司还试图用搞笑视频化解危机。
更大，还能更快，更准！蚂蚁开源万亿参数语言模型Ling-1T，刷新多项SOTA
10月9日，蚂蚁开源万亿参数语言模型Ling-1T。它延续自研高效MoE架构，在编程、数学推理等多维度测试表现亮眼，还能兼顾精确与效率。此外，它在多场景实用性强，其创新设计提升了能效比与性能。
OpenAI资金链告急！紧急启动300亿美金融资，星际之门现在岌岌可危
OpenAI为“星际之门”项目寻求300亿美元融资，该项目由其和软银牵头，总投资可达5000亿美元。但OpenAI与软银在选址和规模上起冲突，软银要求其重组，否则削减投资。OpenAI未盈利，内外危机重重。
12.1万高难度数学题让模型性能大涨，覆盖FIMO/Putnam等顶级赛事难度，腾讯上海交大出品
腾讯AI Lab与上海交大团队联合推出首个基于自然语言的数学定理证明框架与数据集DeepTheorem。12.1万道高难度数学“特训题”让模型定理证明性能大涨，7B模型性能比肩或超越现有开源和商业模型。
高德纳：「震惊！震惊！」Claude破解《计算机程序设计艺术》难题
著名计算机科学家高德纳在论文中表达对AI强大能力的震惊，其朋友借助Claude Opus 4.6解决了他研究几周的开放性问题。Claude经31步探索给出Python构造程序，奇数情况获证明，偶数仍待解。AI在数学领域已取得多方面突破。
AI顶会反噬整个学术圈！「不发表就会死」，NeurIPS爆仓，博士年肝4.5篇大崩溃
NUS研究者指出，NeurIPS等AI顶会投稿量激增，正反噬学术圈。当前模式存在结构性危机，如学术产出泡沫化、环境代价高、研究者心理负荷大等。为此，他们提出“社区联邦会议”（CFC）模型以解决问题。
OpenAI强制「处死」GPT-4o！80万老粉全网拯救：它不是代码是爱人
1月29日OpenAI官宣2月13日强制退役GPT - 4o，80万粉丝不满，发起“拯救4o”运动，提出缓冲期短、保留访问权等诉求，还指出模型停用影响订阅价值。此前GPT - 4o就曾面临下线危机，其使用也有安全隐患。
上海AI Lab提出CANON：让RLVR自主识别优质推理模式
上海AI Lab与上海交大团队提出创新框架CANON，解决将人类先验知识融入RLVR训练的难题。它通过条件分组与对比机制，自适应放大有益指标变化趋势，在数学和逻辑推理任务上成果卓越，还能提升推理效率。
马斯克终于成『AI No.1』，6大案例看实力与水分
马斯克发布Grok 4，宣称其超越OpenAI等LLM。它屠了各种榜单，但Grok系列口碑欠佳。文中通过多案例测试，展现其在各方面的表现，如编码、数学、图像等，还提到了API速度和价格。