标签：数学
看好了，这才是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年前数学大师没解开的难题，被一位牛津博士生搞定了
加法作为最基本的数学运算之一，看似简单，却隐藏着深奥的未解之谜。数学家们长期以来一直在探索加法的极限，特别是关于“无和集”的性质。无和集指的是一个整...
40位数学家组成8队与o4-mini-medium比赛，6队败北
Epoch AI 最近组织了一场人机数学竞赛，邀请了40位数学家组成8支队伍，与OpenAI的o4-mini-medium模型进行对决。竞赛题目来自高难度的FrontierMath数据集，旨...
陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车
数学大师陶哲轩在第三支Lean 4自动化数学证明视频中，展示了GitHub Copilot在处理经典分析学问题「ε-δ」极限时的表现。视频中，陶哲轩通过Lean语言进行形式化...
谷歌超强 AI Agent 登场：攻克 300 年数学难题、改进芯片设计！编程迎来 AlphaGo 时刻？
谷歌DeepMind最新发布的AlphaEvolve系统，标志着人工智能在算法开发和数学研究领域的重大突破。该系统由Gemini驱动，结合了创造性问题解决能力和自动评估机制...
