算法论文8

MathFusion：45K数据让模型解数学题准确率升18%

量子位2025-06-17

AI 摘要

上海AI Lab等团队提出MathFusion，用三种融合策略生成MathFusionQA数据集。仅45K合成指令就让模型准确率提升18%，能增强模型捕捉问题深层联系的能力，不过还需扩展到更难问题。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

OpenAI等用AI攻克Erdős数学难题

2026年，OpenAI等公司用AI解决多个匈牙利数学家Paul Erdős提出的问题，震动数学界。这些问题分布广、难度跨度大，适合模型测试。不过，AI证明的验证和人类数学家地位受关注。

Anthropic研究员携手Claude做出668阶哈达玛矩阵，解决该问题。此问题曾难倒人类数学家30年，被收录进FrontierMath基准测试。此次还扫清2000阶以下所有悬而未决的哈达玛矩阵阶数。

牛津大学和新加坡国立大学研究团队提出心智世界建模（MWM）通用框架，将心智变量纳入世界状态。还实现基准系统 MENTIS 验证其有效性，实验表明 MWM 对预测人类决策必要，瓶颈是状态转移模拟能力不足。

周三晚间，DeepSeek 突然发布 V4 Pro 大语言模型正式版，命名为 DeepSeek - V4 - Pro - 0813，官方未调升 API 使用价格。有用户称调用的 V4 Pro 思维链风格有变，跑分显示其 Agent 评测表现可媲美顶级模型，还撞车了马斯克的 Grok 4.6。