国际数学奥林匹克竞赛(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名。我们对各位获奖选手表示祝贺,并衷心感谢大家对本届竞赛的关注和支持。在本届竞赛中,江苏省涟水中等专业学校教师王某某和其指导的学生入围决赛,引发社会关...

据阿里达摩院官微消息,北京时间6月22日24时,2024阿里巴巴全球数学竞赛决赛正式结束。本届决赛共有来自全球17个国家和地区的800多名选手入围。接下来将进入专家组独立阅卷阶段。阅卷包括初评、交叉复审、最终核验等流程。决赛的五个赛道将按成绩分别评出金奖1名、银奖2名、铜奖4名以及优秀奖10名。总...

6月13日,2024阿里巴巴全球数学竞赛公布决赛名单,801人成功晋级。其中,中专女生姜萍爆冷拿下数学竞赛全球12名。

苹果在 WWDC24 开发者大会上发布了 iPadOS 18 操作系统,该系统继承了 iOS 18 的核心功能,并针对 iPad 的大屏和 Apple Pencil 功能加入了多项独特功能。新系统提供了更个性化的控制中心设计、游戏模式、手写计算体验以及智能图片管理和编辑工具。同时,iPadOS 18 还引入了统一颜色主题图标,提升了系统...

哥本哈根大学研究人员利用数学方法证明了在所有基础问题之上,无法开发出始终稳定的人工智能算法。他们指出,即使是高度发展的机器学习算法,如 ChatGPT,在处理复杂问题时也存在弱点。例如,自动驾驶汽车在遇到与训练数据不同的路标时,可能会出现解读错误。人类驾驶员能够忽略生活中的噪音,但机器却可能...

2023未来科学大奖-数学与计算机科学奖获奖者何恺明、孙剑、任少卿、张祥雨,奖励他们提出深度残差学习,为人工智能做出了基础性贡献。

UCLA 数学教授陶哲轩在个人博客以及微软网站发表文章谈论了用 GPT-4 研究数学问题。他说,GPT-4 等生成式 AI 工具的出现将改变我们对于软硬件如何发展的预期。在以对话形式使用中,GPT-4 能充当一位富有同情心的倾听者,热情的共鸣者,创意灵感之源,翻译者或教师,魔鬼代言人,它们能在很多方面帮助我们。...