郭义销，明平兵，于灏高维薛定谔特征值问题在诸多科学和工程领域中起着至关重要的作用。然而，由于维数灾难和奇异势函数等困难，精确求解这一问题面临巨大挑战。因此，为该问题设计高精度的高效计算方法具有重要意义。针对高维区域上薛定谔算子的Dirichlet特征 ...

这就好比教一个学生解题：传统的强化学习方法更像是告诉学生"这个答案对，那个答案错"，但没有教会他新的解题思路；而长推理链蒸馏则像是让学生观看优秀教师的详细解题过程，从中学习新的思维方法。

据《华尔街日报》，57岁的美国顶尖数学家小野健（Ken Ono）辞去了弗吉尼亚大学终身教职，上周正式加入了他之前的学生，一位24岁年轻人洪乐潼（Carina Hong）创办的AI数学公司Axiom Math，成为第15号员工。

传奇数学家Ken Ono辞去了弗吉尼亚大学终身教职，加入了自己学生Carina Hong创办的Axiom Math，打造「AI数学家」。促使他做出这一决定的，只因他在一次研讨会上看到了AI在数学研究上的无限可能。

肖杰，杨雯婉，袁程在复分析与算子理论中，Carleson测度和Toeplitz算子既是研究很多问题的工具，也是重要的研究对象。有限型凸域是多复变函数论中一类非常重要的域。本文利用光滑有界的有限型凸域中Bergman核的估计和Kobayashi度量的一 ...

人工智能领域迎来新突破，DeepSeek团队在开源社区Hugging ...

全球首个达到国际数学奥林匹克竞赛金牌水平的开源数学模型DeepSeek-Math-V2，近日在Hugging Face平台正式亮相。该模型由DeepSeek团队基于DeepSeek-V3.2-Exp-Base架构开发，在多项国际数学竞赛中展现出惊人实力，引发AI学术界与开源社区的广泛关注。

看完有些尴尬，我还以为这个突破会出现在 DeepSeek-Prover-V2[1] 而不是 DeepSeek-Math-V2[2]。 我一向是不看好 LLM as Verifier 的，因为细微的小问题累积起来会导致模式崩塌。 AI4Math 分为两派，一派是形式化派，一派是概率派。 Miller-Rabin 判定素数有概率出错这种被称为随机误差，而 ...

据悉，57岁的小野健（在美国出生的日裔）即将会卸下他在维珍尼亚大学的数学教授终身职位，而且无意回归学术界。他将会加盟洪乐潼（Carina Hong）在三藩市创办的AI初创公司Axiom Math，追寻其对数学超级智能的梦想。

凌晨突发！GPT-5.2上线，首批实测后感叹：确实是第一，但不再是唯一的王,openai,工作流,编程,智能体,gpt ...

另一个叫验证器（Verifier）。这哥们儿是个极其刻薄、吹毛求疵、毫无感情的老师。生成器写完的每一个字，都要经过它的审判。它就像拿着放大镜一样，逐行检查，寻找任何可能的逻辑漏洞、计算错误、概念不清。

大型语言模型（LLMs）虽然通过可验证奖励的强化学习（RLVR）取得了显著进展，但仍然在很大程度上依赖外部监督（例如人工标注的数据）。自博弈（self-play）提供了一种有前景的替代方案，使模型能够通过与自身反复对抗来学习，从而减少对外部监督的依赖 ...