不要投稿Deepseek提供的黎曼猜想证明给我了
国内数学教材真的有防自学设计吗？听听德国数学硕士怎么说
Lean 4 中文入门 —— 第一讲：Type Theory
AI证明黎曼猜想？丘成桐回应：没被证明前，所有谈论都是空谈。
观北大黄金一代专访有感：数学会被AI消灭？
陶哲轩油管首秀：33分钟用AI写完一页纸证明 网友直呼见证历史！
菲尔兹奖得主用AI后质疑人类研究数学意义
如何用AI学数学？我总结了五大技巧
数学民科基本素养之Lean4介绍
或许有一天，我会成为智能学派的民间数学家
数学界爆炸新闻，黎曼猜想证明取得重大进展，陶哲轩惊叹证明方法，证明者获得菲尔兹奖就是靠改进张益唐的研究成果
致天才高中生：您无法靠证明黎曼猜想保送清北
陶哲轩点赞！23岁外行靠ChatGPT，攻克60年数学猜想
AI时代数学要完蛋了吗？
数学家陶哲轩： AI被过度夸大了！ 它只是一台基于数学的猜测机
三年前，那个没有chatGPT的世界，我很怀念它
在德国学纯数是种什么体验？德国数学硕士分享感受
AI接连推翻数学猜想，人类还能守住菲尔兹奖吗？
AI 数学突破80 年猜想
当你尝试让deepseek证明哥德巴赫猜想
