2025年9月14日，Math公司开发的AI助手Gauss在短短三周内成功完成了陶哲轩教授与Alex ...

近期，数学界发生了一件轰动的事件。著名数学家陶哲轩与Alex Kontorovich提出的数学挑战——在Lean中形式化强素数定理（Prime Number Theorem，PNT），经过18个月的努力，他们仅取得了阶段性进展。令人惊讶的是，一款名为Gauss的AI Agent仅用了三周的时间，就成功完成了这一挑战！

要知道，陶哲轩和Kontorovich在2024年1月提出这个挑战后，足足花了 18个月 （今年7月）的时间，也才取得阶段性的进展。 它的背后是一家叫做 Math 的AI公司，据介绍，Gauss是首个可以协助顶级数学家进行形式验证的 自动形式化 ...

IT之家 5 月 21 日消息，谷歌公司上周发布技术报告，表示 Gemini 1.5 Pro 模型在经过专门的数学领域训练之后，大幅提高了数学成绩，并成功解决了国际数学奥林匹克竞赛的部分问题。 谷歌针对数学场景有针对性地训练 Gemini 1.5 Pro 模型，并通过 MATH 基准、美国数学 ...

一个名为Gauss的AI数学助手近日引发学界轰动——这款由Math公司开发的自动形式化智能体，仅用三周时间就完成了顶尖数学家陶哲轩团队耗时18个月才取得阶段性进展的数学难题。该成果直接挑战了人类数学家在形式化验证领域的传统优势，标志着AI开始深度介入 ...

The 2024 National Assessment of Educational Progress, released Tuesday, found high school seniors struggling the most. Just 22 percent of 12th graders reached proficiency in math, while 45 percent ...