标签：数学
刚刚！陶哲轩3小时对话流出：AI抢攻菲尔兹奖倒计时
陶哲轩近期公开预言人工智能将在数学领域实现突破性进展，甚至可能冲击菲尔兹奖级别的成就。这位菲尔兹奖得主在长达3小时的访谈中勾勒出AI参与数学研究的三个...
突破125年世纪难题！北大校友联手科大少年班才子破解希尔伯特第六问题
1900年，数学大师希尔伯特提出了23个数学难题，其中第六个问题——“物理学的公理化”，被称为数学物理的终极挑战。125年后，北大校友邓煜、中科大少年班马骁与陶...
我让10个大模型又参加了完整版数学高考，第一名居然是它。。。
在最近的一次测试中，多个大模型参与了数学高考的模拟考试，旨在评估它们在复杂数学问题上的表现。测试涵盖了单选题、填空题和解答题，特别关注了AI在处理高...
看好了，这才是7家大模型做高考数学题的真实分数。
最近，许多媒体都在讨论使用AI进行高考测试的话题。尽管最初并不打算参与这一讨论，但在看到一些关于AI进行数学考试的测试方法后，发现这些方法存在明显的不...
数学宇宙二维破壁成功！四人组230页证明阿贝尔曲面镜像通道，大一统要实现了？
三百多年前，数学家费马在书页边缘留下的难题——费马大定理，不仅困扰了学者几个世纪，更在1994年由Andrew Wiles的证明后，揭示了数学世界间深刻的「地下通道...
00后中国女孩0产品创业实现3亿估值：斯坦福数学博士的AI量化野心
洪乐潼，一位来自中国广州的数学天才，近期以惊人的速度开启了她的创业之旅。尽管她的公司Axiom尚未开发出任何产品，但已经吸引了投资者的广泛关注，目标估值...
无需人工标注！AI自生成训练数据，靠「演绎-归纳-溯因」解锁推理能力
新加坡国立大学、清华大学和Salesforce AI Research的研究者提出了一种名为“元能力对齐”的训练框架，旨在提升大型推理模型在数学、编程和科学问题上的基本推...
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
陶哲轩最近对形式化数学证明产生了浓厚兴趣，并在YouTube上开设了账号，上传了四段视频，专门介绍如何使用Lean进行形式化数学证明。其中，第三支视频尤为引人...
陶哲轩：感谢Lean，我又重写了20年前经典教材！
陶哲轩近日宣布为其本科教材《Analysis I》创建了一个Lean配套项目，将书中的定义、定理和练习转换为Lean版本，为学生提供了一种新的学习方式。Lean是一种交...
60年前数学大师没解开的难题，被一位牛津博士生搞定了
加法作为最基本的数学运算之一，看似简单，却隐藏着深奥的未解之谜。数学家们长期以来一直在探索加法的极限，特别是关于“无和集”的性质。无和集指的是一个整...
