数学推理相关 AI 资讯

模型中美对照多源确认12:04

OpenAI 公开支持 open-problems 声明的 722 篇论文

OpenAI 把 722 篇论文全放出来了，就是那个 372 个数学结果的说法，平均每个只用了 ChatGPT Pro 3 小时算力，可以自己去翻原始材料。

#OpenAI #ChatGPT Pro #数学推理 #推理模型

事件专题

AI Will@FinanceYF511 个信源在谈原文

论文多源确认76°11:50

OpenAI 公开数学研究论文：722 篇手稿覆盖 372 项结果

OpenAI 把之前说解决开放数学问题的论文放出来了，722 篇手稿怎么来的、花了多少算力都写清楚了

#OpenAI #ChatGPT Pro #数学推理 #论文

事件专题

AI Will@FinanceYF511 个信源在谈原文

模型中美对照多源确认03:35

OpenAI 模型凭蛮力攻克需人类耗时数年的数学难题

OpenAI 的模型把数学家要磨几年的题用蛮力硬算出来了，这篇讲它到底怎么做到的。

#OpenAI #推理模型 #数学推理

事件专题

The Information@theinformation11 个信源在谈原文

模型中美对照多源确认01:27

OpenAI 内部数学模型 Aeon 被曝单次提示解出多数近期数学成果

有人爆料 OpenAI 秘密模型 Aeon，一道题平均想 3 小时就啃下不少数学难题，训练曲线还没到头，看着挺吓人。

#OpenAI #Aeon #数学推理 #推理模型

事件专题

Andrew Curran@AndrewCurran_11 个信源在谈原文

模型中美对照多源确认03:34

OpenAI 模型攻克人类需数年解决的数学难题

OpenAI 的模型在啃人类数学家要算好几年的难题，方法说白了就是算力硬堆加死磕时间，看看数学家怎么评价。

#OpenAI #推理模型 #数学推理

事件专题

The Information@theinformation11 个信源在谈原文

模型中美对照多源确认01:34

Mark Chen 谈 Navier-Stokes：重点不在题目本身

OpenAI 的 Mark Chen 说这次模型跑出的一周顶十年数学功力，还预告要拿去搞生命科学和对齐，原推值得点开看图。

#Navier-Stokes #OpenAI #alignment #数学推理

事件专题

官方账号Mark Chen (OpenAI 研究)@markchen9011 个信源在谈原文

论文中美对照多源确认11:36

OpenAI 发布多道数学难题解答，解题量超过人类十年

Bindu Reddy 说 OpenAI 解出了一批很难的数学题，数量比人类十年解的还多，搞数学科研的可以看看。

#OpenAI #数学推理 #推理模型

事件专题

Bindu Reddy@bindureddy11 个信源在谈原文

论文 Agent 与开发者多源确认11:19

OpenAI 在 GitHub 公开 AI 数学竞赛成绩与算力开销

OpenAI 把数学竞赛成绩放上了 GitHub，还透露每道题平均要烧掉三小时 ChatGPT Pro 的算力，成本党可以算算账。

#OpenAI #ChatGPT Pro #数学推理 #开源

事件专题

Tech in Asia@Grace Priscilla Teo11 个信源在谈原文

模型中美对照多源确认83°06:38

OpenAI 发布仓库：未公开前沿模型求解约 4000 道数学题

OpenAI 把未发布模型解的约 4000 道数学题解法开了仓库，每题平均烧三小时 Pro 级思考算力，可以去看它的解题过程。

#OpenAI #ChatGPT Pro #数学推理 #推理模型

事件专题

TestingCatalog@testingcatalog11 个信源在谈原文

模型中美对照多源确认71°04:33

OpenAI 计划在 GitHub 发布数百道已解决数学难题

OpenAI 要在 GitHub 一次性放出几百道解开的数学难题，WIRED 报道的，前一天晚上论文抢发成潮，挺有意思的动向。

#OpenAI #GitHub #数学推理 #推理模型

事件专题

Andrew Curran@AndrewCurran_11 个信源在谈原文

模型 Agent 与开发者81°00:47

Meta 发布六篇论文：数学家与 Muse Spark 1.1/1.2 协作求解开放数学问题

Meta 让数学家用 Muse Spark 的普通聊天界面做开放数学题，还发了六篇论文，每篇都标注人和 AI 各写了哪部分。

#Muse Spark #Meta #数学推理 #推理模型

官方账号Meta AI@AIatMeta原文

论文 Agent 与开发者10:24

诊断与修复大语言模型的数学推理能力

这篇论文揭示了LLM数学推理的瓶颈，提出了新评估框架和改进方法，对提升AI数学能力有重要参考价值。

#Mathematical Primitive #hlei #abs #数学推理

arXiv cs.LG@Shuo Xing 等 10 人原文

论文 Agent 与开发者精选09:55

Activation-Conditioned Self-Distillation研究发布

ACSD让模型自己当老师，数学准确率提升近3%，还能跨数据集复用方向向量。

#ACSD #DeepSeek-R1-0528-Qwen3-8B #LiveCodeBench #自蒸馏

arXiv: DeepSeek@Zhexi Lu 等 5 人原文

论文 Agent 与开发者精选10:43

后训练如何改变数学推理能力

这篇论文分析了不同后训练方法对数学推理的影响，发现压缩只是后训练的一种模式，而非普遍解释。

#Qwen3 #DeepSeek-Math #数学推理 #后训练

arXiv: DeepSeek@Hongyang Li 等 6 人原文

论文 Agent 与开发者10:36

链式思维可验证性研究

这篇论文揭示了AI思维链的不可靠性，即使答案正确，推理过程也可能存在缺陷。

#iGSM #链式思维 #数学推理 #AI安全

arXiv cs.AI@Ratish Puduppully 等 6 人原文

论文 Agent 与开发者09:38

RoVR-GSPO双通道鲁棒策略优化器发布

新发布的RoVR-GSPO优化器解决了奖励和序列权重敏感问题，在多个任务上超越GSPO，对异常值更鲁棒。

#RoVR-GSPO #GSPO #策略优化 #鲁棒性

arXiv cs.AI@Zhongyi Li 等 7 人原文

论文 Agent 与开发者精选18:33

大模型数学推理存在组合鸿沟

MIT发现大模型数学推理新问题：即使每步都对，组合起来仍可能错，连DeepSeek-V3.1都逃不过。

#OracleLadder #NuminaMath #数学推理 #组合鸿沟

arXiv: DeepSeek@Zhuohan Wang 等 6 人原文

论文 Agent 与开发者10:39

UECR-GRPO：用熵校准统一策略内蒸馏与GRPO的信用分配

教小模型做数学题的新训练方法，把教师模型的逐token提示和答案对错验证揉进一个GRPO更新里，Qwen3-1.7B和4B都涨了不到1个点，做RL训练的可以看看细节。

#GRPO #Qwen3 #策略内蒸馏 #数学推理

arXiv cs.LG@Jie Zhang 等 5 人原文

论文12:49

构造逆向思维：提升大模型反向推理能力的训练方法

让模型学会倒着想：论文构建正反双向数学数据集，配合奖励机制让模型自选推理模式，数学证明准确率提升。

#DeepSeek-R1 #GPT-o3 #推理模型 #数学推理

arXiv: DeepSeek@Xin Liu 等 5 人原文

行业多源确认11:24

OpenAI 称解决 Navier-Stokes 难题，三位数学家指其回避了问题

OpenAI 宣称解出 Navier-Stokes，被三位数学家指出其实绕开了问题，典型宣传翻车现场。

#OpenAI #Navier-Stokes #数学推理 #AI炒作

事件专题

Gary Marcus@GaryMarcus11 个信源在谈原文

论文10:59

Endless Exam 基准：用14类数学构造衡量模型通往超级智能的进度

有人出了个数学基准 Endless Exam，14类构造题自动验证打分，8个模型全测了一遍，目前没谁超过人类已发表纪录。

#Endless Exam #数学推理 #基准测试 #超级智能

arXiv cs.AI@Muhan Zhang原文

行业多源确认78°06:22

OpenAI 组建数学顾问小组，其 AI 已解决 100 多个开放数学问题

OpenAI 的 AI 已解决 100 多个开放数学问题，还组了个数学顾问团提建议，但顾问管不了研究进度。

#OpenAI #数学推理 #AI治理

事件专题

techcrunch@Aditya Mehta11 个信源在谈原文

模型中美对照精选11:13

谷歌曝光内部数学推理模型 Mathematica，支持百万词元上下文

谷歌新出的 Mathematica 数学推理模型，能处理百万词元的上下文，专门解决数学难题，比之前的高阶数学竞赛模式更强。

#Mathematica #DeepThink #谷歌 #数学推理

IT之家原文

论文 Agent 与开发者精选09:29

一种改进的模型蒸馏方法，通过时间信用分配提升大语言模型性能

这篇论文提出了一种新的模型蒸馏方法γOPD，它通过引入折扣时间信用分配来平衡长时程监督和优化稳定性。实验表明，该方法在数学和代码推理任务上，比现有方法有更稳定的提升效果。

#模型蒸馏 #大语言模型 #代码推理 #数学推理

arXiv cs.LG@Shiqi Liu 等 12 人原文

论文政策与合规精选23:59

一种新的强化学习优化方法 Bellman Policy Optimization

推荐给做强化学习或大模型推理的研究者，BPO 是一种新的优化方法，可能对提升大模型的推理能力有帮助。

#Bellman Policy Optimization #强化学习 #数学推理

arXiv cs.LG@Zhuoqing Song 等 4 人原文

模型中美对照多源确认精选78°09:53

OpenAI 发布 Rethink 模型，在数学推理任务上超越 GPT-4

OpenAI 新发布的 Rethink 模型在数学推理上比 GPT-4 强，你可以试试看。

#OpenAI #Rethink #GPT-4 #数学推理

事件专题

小互@imxiaohu11 个信源在谈原文

模型中美对照多源确认17:52

GPT-6 Astra 刷穿 FrontierMath Tier 4

GPT-6 Astra 在数学推理上又进步了，这次是刷穿了 FrontierMath Tier 4，这个测试以前是专家和顶尖模型都过不了的。

#GPT-6 #FrontierMath #数学推理

事件专题

量子位@henry11 个信源在谈原文

论文 Agent 与开发者精选73°09:37

几何推理框架：从符号感知到逻辑演绎

清华团队发布几何推理框架，用LLM+专用模块解决几何题，性能比肩Gemini 2.5 Pro，解题过程更清晰。

#几何推理 #LLM #Gemini 2.5 Pro #符号解析

arXiv cs.AI@Weichen Dai 等 7 人原文

模型 Agent 与开发者多源确认精选73°01:47

OpenAI分享模型数学思维过程

OpenAI科学家揭秘Astra如何解决数学难题，包括改进球体堆积记录和证明非sofic群存在。

#OpenAI #GPT-5 #Astra #数学推理

事件专题

a16z@a16z11 个信源在谈原文

模型 Agent 与开发者多源确认精选73°00:47

大模型在解决未解数学问题上具结构优势

OpenAI的Astra模型在数学问题上取得突破，改进了40年未打破的球体堆积记录，证明AI在细节处理上优于人类。

#Astra #GPT-5 #OpenAI #数学推理

事件专题

Justine Moore@venturetwins11 个信源在谈原文

模型 Agent 与开发者多源确认精选73°23:58

OpenAI团队谈GPT-6 Astra数学突破

OpenAI团队分享Astra如何解决数学难题，包括改进40年前球体堆积记录和大幅简化复杂证明。

#GPT-6 #Astra #OpenAI #数学推理

事件专题

a16z@a16z11 个信源在谈原文

论文 Agent 与开发者78°09:40

RISE：递归改进通过自我外推策略蒸馏

RISE方法解决了传统蒸馏中教师质量瓶颈问题，用模型自身轨迹构建教师，在多项任务中超越现有方法。

#RISE #RLVR #策略蒸馏 #语言模型

arXiv cs.AI@Yang Li 等 3 人原文

论文 Agent 与开发者精选73°09:36

大模型数学推理缺乏人类知识结构

这篇论文揭示了大模型在数学推理中缺乏人类知识结构，对理解大模型认知局限很有价值。

#LLM #数学推理 #知识空间理论 #大模型评估

arXiv cs.AI@Peng Cui 等 3 人原文

模型 Agent 与开发者13:15

陶哲轩评GPT-6孪生素数研究

陶哲轩亲自点评GPT-6数学研究，AI直接给出答案但过程存疑

#GPT-6 #陶哲轩 #孪生素数 #数学推理

量子位@梦瑶原文

模型中美对照多源确认09:54

Claude完成费马大定理首个完整形式化证明

姚班团队用Claude完成了费马大定理的形式化证明，比人类证明更严谨，AI数学能力再获突破。

#Claude #费马大定理 #形式化证明 #数学推理

事件专题

量子位@梦瑶11 个信源在谈原文

论文73°11:43

NL2AGBench评测大模型自动形式化能力

Google推出NL2AGBench基准，测试大模型将几何问题转为AlphaGeometry形式语言的能力，闭源模型表现远超开源模型。

#NL2AGBench #AlphaGeometry #大模型 #形式化

arXiv cs.AI@Samuel Xiao 等 4 人原文

技巧 Agent 与开发者精选73°09:35

工具集成数学推理的强化学习研究

OpenAI研究团队用计算器工具+强化学习，把数学推理准确率提升30个百分点，方法开源可复现。

#数学推理 #工具集成 #强化学习 #DAPO

arXiv cs.AI@Minghui Xu, Zi Wang原文

论文73°09:05

VISTA：基于验证器的学生-教师自适应蒸馏方法

VISTA方法改进了OPSD蒸馏技术，通过验证器指导教师自适应，在数学推理任务上显著提升性能。

#VISTA #OPSD #Qwen3 #蒸馏

arXiv cs.LG@Zewen Ding 等 8 人原文

论文精选10:53

Parason: 揭示LLM推理中的子任务和试验并行性

Parason揭示了LLM推理中的并行性，通过实验证明其能显著加速推理过程，值得研究。

#Parason #LLM推理 #并行性 #加速

arXiv: DeepSeek@Zhengyang Zhang 等 7 人原文

论文15:36

KV-Rescue：用轻量全上下文助手恢复被驱逐的KV缓存损失

KV缓存驱逐会掉精度，KV-Rescue用个小模型当辅助，能救回87%的损失，还省43%的生成量，跑长推理的可以看看。

#KV-Rescue #KV缓存 #推理模型 #Qwen2.5-Math

arXiv cs.AI@Minsoo Cheong 等 4 人原文