筛选结果
3 篇排序
40:44EN → 简体中文
3Blue1Brown· 2026年10月16日Grant Sanderson：现在是投身数学的最好时机Grant Sanderson, Constantin Kogler · 3Blue1Brown学生担心 AI 已经解决了数学。Grant Sanderson 却认为恰恰相反：即使机器证明定理的能力超过人类，数学这套制度依然有价值，而新人正迎来一个难得的机会，可以参与重塑它。
51:55EN → 简体中文3Blue1Brown· 2026年9月18日AI 解不出的最后一道 IMO 题Grant Sanderson · 3Blue1BrownGrant Sanderson 带你走一遍 2025 年 IMO 第 6 题——前沿模型没做出来的铺砖谜题——以及要证明一种构造最优，需要怎样的视觉耐心。
13:30EN → 简体中文3Blue1Brown· 2025年8月17日AlphaGeometry 如何结合逻辑证明与创造性作图Aleph0Aleph0 讲解了符号几何求解器如何在不使用 AI 的情况下解决大量难题，以及语言模型如何提供辅助作图，让系统达到奥数竞赛水平。