标签：数学
华人学者助力「数学大一统理论」新突破！4位数学家花费近10年完成证明
四位数学家经过近十年的研究，将“数学大一统理论”——朗兰兹纲领向前推进了关键一步。他们的工作将模性理论从椭圆曲线扩展到了更复杂的阿贝尔曲面，证明了普通...
微软分享三大王炸算法：突破大模型推理瓶颈，性能大涨
微软近日分享了其自研的三大创新算法——rStar-Math、LIPS和CPL，旨在增强大语言模型的推理能力，特别是在数学推理和思考链方面的表现。这些算法不仅适用于小参...
刚刚！陶哲轩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进行形式化数学证明。其中，第三支视频尤为引人...
