大别山数学系列论坛 几何分析研讨会在信阳师范大学举办
来自北京大学、上海数学与交叉学科研究院、复旦大学、浙江大学、中山大学、武汉大学、南开大学、四川大学、中国科学院大学、中国科学技术大学、同济大学、湖南大学、纽约城市大学、郑州大学等50余所高校及科研院所的100余位...
标签: 数学
AI独立解决三十年数学问题的变体,陶哲轩分享自动化研究经验
证明该问题的是普林斯顿大学数学博士 Boris Alexeev，使用了来自 Harmonic 的数学 AI 智能体 Aristotle 运行了这个问题，智能体最近更新了更强的推理能力和自然语言界面。关于该问题的一些报道都声称AI独立解决了该问题的完整...
数学赋能产业:学界需敢“嫁”业界要敢“娶”
11月29日，在重庆举行的第四届数学促进经济社会发展论坛上，一个共识明确清晰：我国工业软件要突围，必须破解数学研究与产业应用深度融合难题。作为现代工业体系的“大脑”与“神经”，工业软件的“灵魂”始终是数学。德国数学...
2025数学奥赛国赛结果出炉,黑龙江省队表现如何?无人进入国集!
2025年第41届数学竞赛国赛刚刚结束，作为五大学科联赛含金量最高的比赛，黑龙江省队选手成绩备受关注。根据笔者了解，本次数学国赛，共有60人进入国家集训队，223人获得金牌，293人获得银牌，194人获得铜牌。黑龙江省队共获得1...
223枚金牌,293枚银牌,2025数学奥赛全部成绩出炉
2025年11月24日至11月30日，历时七天，第41届全国中学生数学奥林匹克竞赛决赛（CMO）在山西大学附属中学隆重举行，这场国内最高规格的数学赛事汇聚了来自全国31个省（区、市）及香港、澳门、新加坡、俄罗斯的715名顶尖学子，...
湖北第1,浙江第2,北京市第3,第41届全国数学奥赛成绩出炉
2025年第41届全国中学生数学奥林匹克竞赛决赛，于11月26—27日在山西大学附属中学举行。目前夺得金牌并进入国家集训队的60名选手网传版名单出炉。共中，湖北省以12人入围国家集训队，夺得全国第一位。浙江省11人晋级，夺得全国...
中国AI数学能力首次世界第一!DeepSeek再次碾压美国顶尖AI?
DeepSeek又一次让外国人感到震惊—其开源的全新模型Math V2，不仅首次将AI的数学能力推至世界第一，拿下国际数学奥林匹克（IMO）金牌，还将全球主流数学AI模型逐一碾压了一遍。更关键的是，这款创下纪录的模型全程开源，这意味...
![真是难为了孩子？[捂脸哭]这是小学5年级的试卷，我堂堂一个正宗本科生，看了都不会](http://image.uczzd.cn/2828595703481515670.jpg?id=0)
LMU Munich团队让AI解数学题时也能明察秋毫
当我们解决复杂的数学问题时，每一步的推理都至关重要。一个错误的步骤，就像侦探调查案件时忽略了关键线索，可能导致整个解答走向错误的方向。来自慕尼黑大学（LMU Munich）、慕尼黑工业大学、复旦大学、海德堡大学和牛津大学...
UC伯克利大学发布革命性AI预算验证法:数学解题准确率提升15.3%
就像养育孩子一样，想要AI在数学、编程这些复杂任务上表现得更好，传统做法就是投入更多计算资源，训练更大的模型，或者在推理时让AI多思考几遍。这种"用算力砸出智能"的策略确实有效，但代价高昂，就像让一群专家开会讨论每道...
数学界的英才许晨阳,归国与学术环境
令中国学术界深思的往事，关于一位被麻省理工学院揽走的数学英才。临别时，他只留下三句话，却像三根刺，扎在许多人的心里。2012年，许晨阳刚取得普林斯顿大学博士学位，便婉拒了美国高校的百万年薪，毅然回到北京大学任教。他...
超算互联网AI社区上线DeepSeek新一代数学模型
上证报中国证券网讯（记者李雁争）超算互联网AI社区28日上线DeepSeek新一代数学模型DeepSeekMath-V2，企业和开发者均可下载模型文件进行快速开发。DeepSeek表示，DeepSeekMath-V2基于DeepSeek-V3.2-Exp-Base构建，其性能优于...
“文科生”微博,搞出一个数学学霸大模型
作为两项极具挑战性的人类数学考试，AIME和HMMT旨在从大量数学能力优秀的学生中，精准筛选出极少数的数学顶尖精英。如今用在大模型评测中，也被寄予发挥“过滤器”和“强化器”的作用，很自然地成为了评估大模型高级推理能力的...
DeepSeek推出新型数学推理模型DeepSeekMath-V2，采用可自我验
DeepSeek推出新型数学推理模型DeepSeekMath-V2，采用可自我验证的训练框架。模型基于DeepSeek-V3.2-Exp-Base构建，通过LLM验证器自动审查生成的数学证明，并利用高难度样本持续优化性能。在IMO2025和CMO2024中均达到金牌水平，Putnam2024获118/120分。团队表示，该成果验证了自验证推理路径的可行性，为构建可靠数学智能系统提供新方向。
