2025年11月,谷歌DeepMind开发的AlphaEvolve在数学优化问题中展现强大能力。加州大学洛杉矶分校陶哲轩团队测试了67个前沿数学问题,发现该系统不仅能复现已有解法,有时还能生成更优解。AlphaEvolve通过Gemini生成候选解,并由评估模块筛选有效结果,显著提升解题效率。尽管目前仅适用于优化类问题且存在"...

2025年11月18日,美团LongCat团队发布数学推理评测基准AMO-Bench。该评测集包含50道由竞赛专家原创的试题,题目难度对标乃至超越国际数学奥林匹克(IMO)水平,旨在推动人工智能在复杂数学推理领域的技术发展。AMO-Bench将为评估模型逻辑推理与问题解决能力提供高标准测试平台。免责声明: 本文内容由开放...

近日,K-12数学教学平台Magma Math宣布完成1000万美元新一轮融资,本轮由现有投资方Five Elms Capital领投。该平台致力于提升教师效率与课堂管理能力,通过支持形成性评估、数学讨论及以学生为中心的学习模式,帮助学生直观展示数学思维过程。其技术方案与课堂场景无缝整合,既深化学生对数学原理的理解,...

10月28日,青年女数学家王虹拿下了2025塞勒姆奖。据悉,塞勒姆奖被视为菲尔兹奖的风向标,从1968年到2024年的56位塞勒姆奖获奖者中诞生了10位菲尔兹奖得主,而菲尔兹奖是数学领域的国际最高奖项之一。在获奖名单公布之后,前塞勒姆及菲尔兹奖项获得者陶哲轩第一时间发文恭喜。值得一提的是,在该奖项颁布前...

近日,OpenAI研究人员在社交媒体宣称GPT-5解决了10个未解的埃尔德什问题,但随即在学界批评声中撤回声明。DeepMind首席执行官德米斯・哈萨比斯直指其沟通方式"过于草率",Meta AI负责人杨立昆则讽刺其"被自己的炒作反噬"。数学家托马斯・布鲁姆澄清,所谓"未解问题"实为其个人未掌握的已有成果,GPT-5仅实...

Meta最新推出MobileLLM-R1系列小语言模型,包含1.4亿、3.6亿和9.5亿参数版本,主打轻量化特性,可原生运行于移动设备。该系列采用监督式微调技术,专注解决数学、Python/C++编程及科学问题,无需通用对话功能。以950M参数版本为例,其预训练数据仅消耗2TB高质量token,总训练量不足5TB,却在MATH、GSM8K等基...

国际数学奥林匹克竞赛(IMO)作为全球最具挑战性的数学赛事之一,金牌得主历来凤毛麟角。而在2025年的比赛中,人工智能首次以参赛者身份亮相,表现惊艳。OpenAI 的实验性推理语言模型在完整模拟考试环境下完成全部题目,达到金牌水平。谷歌也紧随其后,其升级版 Gemini Deep Think 解决了六道题中的五道,并...

网易有道今日宣布开源"子曰3"系列大模型的数学专用版本(Confucius3-Math),成为国内首个专注于数学教育且适配消费级GPU的开源推理模型。该模型在CK12-math、GAOKAO-Bench等数据集测试中表现优异,14B轻量级版本多项得分超越通用大模型DeepSeek-R1,尤其在高考数学题评测框架中达到98.5分。网易有道透露,...

6月23日,网易有道宣布正式开源"子曰3"系列大模型中的数学模型Confucius3-Math。该模型是国内首个专注于数学教育的开源推理模型,能够在单块消费级GPU上高效运行,为数学教学提供强大支持。这一举措将助力数学教育领域技术发展,降低开发门槛。免责声明: 本文内容由开放的智能模型自动生成,仅供参考。

苹果在最新测试版系统中进一步提升了数学笔记(Math Notes)的功能。据科技媒体MacRumors报道,iOS 26和iPadOS 26新增支持通过输入方程式生成三维图形。用户只需在备忘录应用中手写或输入包含三个变量的方程式(如z=sin(x^2 + y^2)),点击变量并选择"Insert 3D graph"选项,即可快速生成波纹状的3D图形。该...

在火山引擎大会上,豆包大模型1.6正式发布,包含三个版本。其中,Doubao-Seed-1.6-thinking强化思考能力并支持多模态,Doubao-Seed-1.6提供on/off/auto三种思考模式。该模型在高考全国新一卷数学考试中取得144分,位列全国第一,展示其强大性能。免责声明: 本文内容由开放的智能模型自动生成,仅供参考。

博主@i冰宇宙近日透露,最新版三星笔记App新增了数学求解功能,适用于S25 Ultra等配备S Pen的机型,但暂不支持S25 Edge等无S Pen的设备。根据演示视频,用户开启"数学求解器"选项后,可通过S Pen手写计算公式并快速获得答案,运算过程流畅高效。目前,该功能的具体支持版本尚不明确,博主分享的链接已失效。...

昨日,深度求索(DeepSeek)在Hugging Face平台上发布了全新模型DeepSeek-Prover-V2-671B,并同步公开了相关论文信息。这款开源大型语言模型专注于形式化数学推理,基于DeepSeek-V3-0324架构开发,旨在提升复杂定理证明能力。DeepSeek-Prover-V2-671B通过递归定理证明管道生成初始数据,并结合子目标分解与L...

[太平洋科技快讯]4月30日消息,DeepSeek 在 AI 开源社区 Hugging Face 发布了其最新数学推理模型——DeepSeek-Prover-V2-671B。该模型参数量高达 6710 亿,从命名推测,这可能是对去年发布的 Prover-V1.5 模型的重大升级。DeepSeek-Prover-V2-671B 基于混合专家(MoE)架构,并采用 Lean 4 框架...

4月30日,DeepSeek在Hugging Face上发布新模型DeepSeek-Prover-V2-671B。该模型参数达6710亿,基于DeepSeek-V3架构,采用MoE模式,具有61层Transformer和7168维隐藏层。它支持多种计算精度、超长上下文(最大位置嵌入163840),并使用FP8量化技术优化推理效率。此模型可能是去年Prover-V1.5的升级版,专注于...

DeepSeek近日在Hugging Face平台发布了新一代开源模型DeepSeek-Prover-V2-671B。该模型采用高效的safetensors文件格式,支持BF16、FP8、F32等多种计算精度,显著提升了训练与部署效率。从命名推断,这款参数规模达6710亿的模型可能是此前Prover-V1.5的升级版本,或专注于数学推理领域。目前官方尚未披露...

科技媒体marktechpost报道,英伟达专为数学推理领域推出OpenMath-Nemotron-32B与OpenMath-Nemotron-14B-Kaggle两款AI模型。传统语言模型在解决复杂数学问题时表现不佳,而这两款模型通过深度微调OpenMathReasoning数据集,大幅提升了推理能力。其中,OpenMath-Nemotron-32B作为旗舰产品,拥有328亿参数,采...

据日经新闻报道,中美两国的新型生成式AI在模拟东京大学理科3类入学考试中表现不俗。美国OpenAI的"o1"与中国的DeepSeek"R1"分别获得374分和369分(满分550分),均超过合格最低分数线368.7分。测试由日本经济新闻联合民间企业和大型补习班完成,答案由河合塾讲师评分。在科目表现上,两款AI在英语科目中表...

谷歌旗下人工智能研究实验室DeepMind近日宣布,其开发的AI系统AlphaGeometry2在国际数学奥林匹克竞赛(IMO)几何问题解决方面取得了显著进展。该系统不仅能够解决过去25年IMO中84%的几何问题,其表现甚至超过了平均金牌得主。AlphaGeometry2是DeepMind在今年1月发布的AlphaGeometry系统的改进版本。该系...

2024阿里巴巴全球数学竞赛有关情况说明阿里巴巴全球数学竞赛获奖名单已正式发布,共有86名选手获奖,其中金奖5名,银奖10名,铜奖20名,优秀奖51名。我们对各位获奖选手表示祝贺,并衷心感谢大家对本届竞赛的关注和支持。在本届竞赛中,江苏省涟水中等专业学校教师王某某和其指导的学生入围决赛,引发社会关...