陶哲轩宣布“等式理论计划”成功:人类 AI 协作,57 天完成 2200 万 + 数学关系证明
11月23日0评
陶哲轩推荐:两名高中生发现勾股定理新证明,论文已发《美国数学月刊》
10月30日0评
陶哲轩、詹大鹏之后,90 后华人王艺霖再获数学塞勒姆奖
10月28日0评
40 年图灵机难题被业余玩家攻破,陶哲轩评价“软件辅助证明改变数学研究规则”
09月06日0评
23 年来首次突破,陶哲轩赵宇飞学生联手攻下组合数学难题
08月07日0评
传奇大爷拿下“数学界诺贝尔奖”,陶哲轩祝贺:他本应更知名
03月21日0评
陶哲轩:AI 让业余数学家也能做出贡献
02月25日0评
AI 首次攻克难倒陶哲轩数学难题:DeepMind 里程碑算法登上 Nature,LLM 实现搜代码自我进化
2023.12.150评
AI 颠覆数学研究!陶哲轩借 AI 破解数学猜想,形式化成功惊呆数学圈
2023.12.060评
陶哲轩甩出调教 GPT-4 聊天记录,点击领取大佬的研究助理
2023.06.260评
陶哲轩宣布主持白宫生成式 AI 工作组,李飞飞、Hassabis 发表演讲
2023.05.160评
「数学天才」陶哲轩:GPT-4 无法攻克一个未解决的数学问题,但对工作有帮助
2023.04.100评
陶哲轩攻克 60 年几何学难题,发现「周期性密铺猜想」在高维空间反例
2022.12.160评
陶哲轩:张益唐新论文存在一些技术问题,我已请他澄清
2022.11.170评
IQ230远超爱因斯坦,华裔数学家成史上最聪明的人
2016.02.020评