Grant Sanderson (3Blue1Brown): AI证伪了一个数学猜想,然后呢?
菲尔兹奖得主用AI后质疑人类研究数学意义
OpenAI用ChatGPT推翻了数学界最大猜想之一 | Dr. Trefor Bazett
OpenAI的十个重大数学成果:数学核爆已成常态
我们和 AI 合作找到了一个经典猜想的反例,然后呢?分享我的真实心路历程
deepseek尝试验证雅可比猜想被证伪,被吓得眩晕瘫坐,那一刻仿佛看到原子弹爆炸
【漫士】“我证明了黎曼猜想,AI说是对的”
【Frontier】吵到红温!AI4Math到底能不能摧毁人类数学,AI大佬和数学大佬激烈交锋! | Stanford | 数学的未来研讨会
Coding Model全员特级面板(纯主观)
近90年数学难题被AI推翻?雅可比猜想惊现三维反例!
AI简史:从1950到2026,科学界的人类群星闪耀时
算法祖师爷破防,首个以AI命名的定理诞生了
三年前,那个没有chatGPT的世界,我很怀念它
AI能做数学研究了?
【深度】AI来了,你失业了吗?一个视频看懂AI重构社会的逻辑
Erdős 突破
陶哲轩:新的数学工作流程——AI for Math
【梓庆解鐻】平面点集与大量单位距离:OpenAI推翻Erdős单位距离猜想的构造
平面上是否存在n个距离相同的不同点?
【给你讲Nature】AI 真的推翻了数学之神?80年“单位距离猜想”被一条提示词击穿!