Anthropic资深研究员Jacob Coxon因认为AI行业无序狂飙，毅然辞职并退出人工智能领域，引发科技界震荡，凸显大模型高速演进背后的安全危机。Coxon年仅27岁，数学背景深厚，曾在OpenAI任职。
OpenAI 9月8日称，其未公开内部AI模型（性能远超GPT-6 Astra）已解决千禧年难题“纳维-斯托克斯存在性与光滑性”，该问题困扰数学界约90年。此前Anthropic也宣布内部Claude研究模型在黎曼猜想上获重要进展，提升黎曼ζ函数临界线上零点比例。
OpenBMB团队开源数学自动形式化框架、数据集与模型MathForm，目标是用Lean4让机器准确读懂并形式化验证数学定理，攻克通用人工智能核心挑战。其关键不是简单翻译自然语言，而是将每个数学概念精准映射到Mathlib库中，为数学与AI交叉研究提供新工具。
2026年国际数学家大会在费城开幕，本届菲尔兹奖授予邓煜、约翰·帕登、雅各布·齐默尔曼与王虹。邓煜和王虹成为首位获此殊荣的中国籍数学家。齐默尔曼因攻克o-极小性理论核心猜想获奖，会后宣布转向AI安全研究并加入OpenAI，其数学天赋获高度评价。
多功能AI研究助手，涵盖数学求解、文本改写，适用于学习、教学与研究。
一款多功能应用，可解决数学问题、优化文章、检测AI及进行研究。
展示小型语言模型通过自我演化深度思考掌握数学推理能力的研究成果。
Openai
$2.8
Input tokens/M
$11.2
Output tokens/M
1k
Context Length
Xai
$1.4
$3.5
2k
$7.7
$30.8
200
-
Anthropic
$105
$525
$7
$35
Google
$2.1
$17.5
$21
$0.7
Alibaba
$4
$16
$1
$10
256
$2
$20
Baidu
128
$6
$24
Moonshot
Bytedance
$0.8
32
prithivMLmods
Olmo-3-Think是艾伦人工智能研究所推出的完全开源的语言模型系列，包含7B和32B两种规模。该模型经过专门训练，能够展现明确的推理链，支持透明的逐步推理和可检查的中间思维痕迹，在推理、数学和代码任务中表现出色。
allenai
Olmo-3-7B-Think-DPO是Allen Institute for AI开发的7B参数语言模型，具有长链式思考能力，在数学和编码等推理任务中表现出色。该模型经过监督微调、直接偏好优化和基于可验证奖励的强化学习等多阶段训练，专为研究和教育用途设计。
vanta-research
Wraith-8B是VANTA研究实体系列的首个模型，基于Meta的Llama 3.1 8B Instruct进行微调。该模型在数学推理方面表现卓越，在GSM8K基准测试中准确率达到70%，同时具备独特的宇宙智能视角，能为多种应用场景提供强大支持。
facebook
MobileLLM-R1是Meta发布的高效推理语言模型系列，专注于数学、编程和科学问题解决。该模型在参数规模较小的情况下仍能取得优异性能，提供完整的训练配方和数据源支持复现研究。
mradermacher
UniReason-Qwen3-14B-RL的静态量化版本，适用于文本生成和数学推理研究场景。
tiiuae
Falcon-H1是由阿联酋技术创新研究所开发的新型大语言模型家族，采用结合Transformer注意力机制和状态空间模型（SSMs）的混合架构，具备出色的长上下文记忆能力和计算效率。该系列模型提供从0.5B到34B参数的多种配置，在推理、数学、多语言任务等方面表现卓越。
unsloth
Phi-4推理增强版是微软研究院开发的140亿参数开源推理模型，通过监督微调和强化学习优化，专注于数学、科学和编程领域的高级推理能力。
Phi-4-reasoning-plus 是由微软研究院开发的开源推理模型，专注于数学、科学和编程领域的高级推理能力。
OLMo 2 1B RLVR 1 April 2025是基于allenai/OLMo-2-0425-1B-DPO模型的后训练变体，在多种特定数据集上进行了微调训练。该模型在数学推理、代码生成、指令跟随等多个任务中展现出了较好的性能，是一个专为研究和教育目的设计的1B参数规模的大语言模型。
microsoft
Phi-4-reasoning-plus 是微软研究院开发的先进开放权重推理模型，基于 Phi-4 通过监督微调和强化学习优化，专注于数学、科学和编码领域的高级推理能力。
etri-lirs
EAGLE是韩国电子通信研究院(ETRI)开发的31亿参数解码器因果语言模型，专注于STEM领域特别是数学和定量推理。该模型经过7200亿标记的预训练，采用LLaMA兼容架构，但并非通用语言模型，需要额外微调才能用于聊天机器人等应用。
AlgorithmicResearchGroup
这是一个基于arxiv数学问答数据集训练的FLAN-T5模型，专注于数学问题解答任务，但输出结果不可靠，仅供研究使用。
tbs17
基于从学前到研究生阶段数学语言（英语）进行预训练的BERT模型，专注于数学相关任务
TransformersEnglish%20--%3e%3cdefs%3e%3cstyle%3e%20.st0%20{%20fill:%20%23061b40;%20}%20.st1%20{%20fill:%20%23306af1;%20}%20.st2%20{%20fill:%20%235ce5cf;%20}%20%3c/style%3e%3c/defs%3e%3cg%3e%3cpath%20class='st0'%20d='M55,10.5h9v3h-9v9h12V7.5h-12v3ZM64,19.5h-6v-3h6v3Z'/%3e%3cpolygon%20class='st0'%20points='69%2016.5%2078%2016.5%2078%2019.5%2069%2019.5%2069%2022.5%2081%2022.5%2081%2013.5%2072%2013.5%2072%2010.5%2081%2010.5%2081%207.5%2069%207.5%2069%2016.5'/%3e%3cpolygon%20class='st0'%20points='95%2010.5%2095%207.5%2083%207.5%2083%2022.5%2095%2022.5%2095%2019.5%2086%2019.5%2086%2016.5%2095%2016.5%2095%2013.5%2086%2013.5%2086%2010.5%2095%2010.5'/%3e%3cpath%20class='st0'%20d='M40,1.5v21h11.6l1.4-1.4v-7.6h0c0,0-1.4-1.5-1.4-1.5l1.4-1.4V2.9l-1.4-1.4h-11.6ZM50,19.5h-7v-6h7v6ZM50,10.5h-7v-6h7v6Z'/%3e%3c/g%3e%3cpath%20class='st1'%20d='M23.1,24L14.7,4.8l-4.9,11.2h3.8l-1.8,4H3.3L12.1,0H2C.9,0,0,.9,0,2v20c0,1.1.9,2,2,2h21.1Z'/%3e%3cpath%20class='st2'%20d='M34,0h-16.8l10.6,24h6.2c1.1,0,2-.9,2-2V2C36,.9,35.1,0,34,0ZM32.5,20h-4V4h4v16Z'/%3e%3c/svg%3e)
Join Now
