过去数学合作只能靠邮件和手稿，但现在数学家可以像程序员那样在GitHub上合作，一起构建巨大的数学「代码库」。这将会改变整个数学研究的方式，就像LaTeX改变了...

这件小事背后其实考验的是你大脑的工作记忆 —— 保持一个念头、随时对比外部问题并作出一致回应。

长期跟踪关注统计学、机器学习算法、深度学习、人工智能、大模型技术与行业发展动态，日更精选技术文章。回复机器学习有惊喜资料。

在充满科学氛围的环境中，他很早就展现出了数学和编程方面的天赋 —— 在校期间就参加了全国数学奥林匹克和物理竞赛。

【新智元导读】谷歌DeepMind重磅出击，开源首个形式化数学猜想库，获陶哲轩力挺！从解析数论的兰道猜想开始，这个开源项目将为AI破解数学难题的未来铺路。

  线性定常系统稳定的充分必要条件是其特征根全部具有负实部。因此,判别系统的稳定性，就要解出系统特征方程的根,并检验这些特征根是否都具有负实部。但是,通过直接求...

在涵盖的主题上，DeepMath-103K 包含了从基础概念（如初等代数、平面几何）到高级主题（如抽象代数、微积分、数论、几何、概率、离散数学等）的广泛数学领域...

由字母、数字、下划线组成，不能以数字开头，且区分大小写。单下划线开头的（_foo），表明是不能直接访问的类属性；双下划线开头的（__foo），代表类的私有成员；...

那我想，不如再把模型补上，加上全缺失的智谱Z1、Kimi1.5、文心X1，（不带Claude 4，封号斗罗，我恨他），再做一个，完整的满血版的数学高考，让大家最...

2025-06-10：移除石头游戏。用go语言，Alice 和 Bob 玩一个拿石头的游戏，规则如下：

过去的研究多数持悲观态度：认为 RL 带来的收益非常有限，有时甚至会让模型「同质化」加重，失去多样性。然而，来自英伟达的这项研究指出，造成这一现象的根本原因在于...

现在，这个 Lean 版数学副本已经上线，欢迎大家前去挑战。无论你是数学系学生、Lean 初学者，还是对形式化验证感兴趣的研究员，这都是一个亲自动手、顺便提升数...

数学推理能力作为衡量模型智能水平的关键指标，需对其进行全面公平的评估。然而，现有的 GSM8K、MATH 数学基准因覆盖不足和易被数据污染饱受诟病，要么缺乏对本...

最近在学习 LaTeX，前文我用 Kimi、Qwen-3-235B-A22B、Claude-3.7-sonnet、GPT-4.1、Gemini 2.5 Pro ...

长期跟踪关注统计学、机器学习算法、深度学习、人工智能、大模型技术与行业发展动态，日更精选技术文章。回复机器学习有惊喜资料。

实时采集了今年高考数学结束后也是就 2025.06.07 下午 17 点，到次日 10 点之间，有关高考数学的热议文本，

LaTeX是学术界最广泛使用的数学公式排版语言，能最精确地表达数学符号，我们考的是模型的数学能力，不是考模型的多模态识图能力，比如DeepSeek根本就没多模态...

不仅如此，模性理论还是朗兰兹纲领 (Langlands Program) 的基石，这一宏大的猜想体系试图构建数学的「终极统一理论」。如果朗兰兹纲领成立，则各类数...

本文主要作者是吕昂和谢若冰。吕昂，中国人民大学博士生，研究方向为语言模型结构优化，导师为严睿教授；谢若冰，腾讯高级研究员，研究方向为大语言模型、推荐系统。

Python 3.14 版本号与数学常数π（3.14）相呼应。数学常数π用希腊字母π表示，代表圆的周长与直径的比值。