陶哲轩:AI 辅助数学证明如同汽车冲击城市,需构建新型基础设施
03月22日 0评
陶哲轩称 AI 影响数学教学,学生每周作业首当其冲
03月12日 0评
OpenAI 布罗克曼:GPT-5.2 Pro 再次破解公开数学难题,获陶哲轩认可
01月18日 0评
陶哲轩亲测谷歌 Gemini 3:十分钟搞定百年数学难题
2025.11.23 0评
谷歌 AI 系统 AlphaEvolve 获陶哲轩团队认可:使大规模数学研究成为可能
2025.11.19 0评
陶哲轩用 GPT-5 解决数学难题:仅 29 行 Python 代码
2025.10.04 0评
陶哲轩油管首秀:33 分钟,AI 速证「人类需要写满一页纸」的证明
2025.05.12 0评
陶哲轩宣布“等式理论计划”成功:人类 AI 协作,57 天完成 2200 万 + 数学关系证明
2024.11.23 0评
陶哲轩推荐:两名高中生发现勾股定理新证明,论文已发《美国数学月刊》
2024.10.30 0评
陶哲轩、詹大鹏之后,90 后华人王艺霖再获数学塞勒姆奖
2024.10.28 0评
40 年图灵机难题被业余玩家攻破,陶哲轩评价“软件辅助证明改变数学研究规则”
2024.09.06 0评
23 年来首次突破,陶哲轩赵宇飞学生联手攻下组合数学难题
2024.08.07 0评
传奇大爷拿下“数学界诺贝尔奖”,陶哲轩祝贺:他本应更知名
2024.03.21 0评
陶哲轩:AI 让业余数学家也能做出贡献
2024.02.25 0评
AI 首次攻克难倒陶哲轩数学难题:DeepMind 里程碑算法登上 Nature,LLM 实现搜代码自我进化
2023.12.15 0评
AI 颠覆数学研究!陶哲轩借 AI 破解数学猜想,形式化成功惊呆数学圈
2023.12.06 0评
陶哲轩甩出调教 GPT-4 聊天记录,点击领取大佬的研究助理
2023.06.26 0评
陶哲轩宣布主持白宫生成式 AI 工作组,李飞飞、Hassabis 发表演讲
2023.05.16 0评
「数学天才」陶哲轩:GPT-4 无法攻克一个未解决的数学问题,但对工作有帮助
2023.04.10 0评
陶哲轩攻克 60 年几何学难题,发现「周期性密铺猜想」在高维空间反例
2022.12.16 0评