标签:数学

陶哲轩:感谢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驱动,结合了创造性问题解决能力和自动评估机制...

破解300年数学难题,智能体大突破!谷歌发布超强AI Agent

谷歌Deepmind最新发布的编程AI Agent——AlphaEvolve,标志着人工智能在算法设计与优化领域的重大突破。AlphaEvolve与谷歌的大模型Gemini深度集成,旨在自动评...

突破300年数学难题!陶哲轩出题,DeepMind通用科学AI智能体一夜屠龙

谷歌DeepMind推出的AlphaEvolve,作为一款由Gemini驱动的进化编码工具,展现了其在解决复杂数学问题和优化算法方面的强大能力。AlphaEvolve通过结合Gemini的...

56 年无人解开的数学难题,被谷歌的新 AI 突破了

Google DeepMind 最新发布的编程智能体 AlphaEvolve 标志着人工智能在算法发现和优化领域的重大突破。与传统的编程工具不同,AlphaEvolve 专注于通用算法的自...

蚂蚁武威:下一代「推理」模型范式大猜想

长思维链作为深度思考的一种实现方式,近年来成为研究下一代基础模型推理能力的热门方向。尽管R1模型展示了强大的性能,但其高维度和高能量的特性导致系统不...

陶哲轩油管首秀:33分钟,AI速证「人类需要写满一页纸」的证明

陶哲轩最近以视频博主的身份亮相,首次发布的内容便引起了广泛关注。他展示了一个令人惊叹的案例:人类需要写满一页纸的数学证明,借助AI仅用33分钟就完成了...
1 2 3