已押中 10 位菲尔兹奖得主的 Salem Prize，今年颁给了一位 90 后华人 —— 继陶哲轩（2000 年获奖）和詹大鹏（Dapeng Zhan，2011 年获奖）之后，1991 年出生的王艺 … Continue reading 陶哲轩、詹大鹏之后，90 后华人王艺霖再获数学塞勒姆奖
标签： 陶哲轩
40 年图灵机难题被业余玩家攻破，陶哲轩评价“软件辅助证明改变数学研究规则”
40 多年的计算机难题 —— 忙碌海狸难题，被一群业余爱好者攻破了！ 数学大佬陶哲轩转发了这一消息，并欣慰表示： 这再一次体现了证明助手对于数学研究的协作是多么有用。 计算机科学家 Scott Aar … Continue reading 40 年图灵机难题被业余玩家攻破，陶哲轩评价“软件辅助证明改变数学研究规则”
改进张益唐证明，陶哲轩「他的证明比我还强」
原标题：改进张益唐证明，陶哲轩「他的证明比我还强」，这个天才青年还解决了困扰数学界近 80 年的「简单问题」 鱼羊 萧箫 发自凹非寺 量子位报道公众号 QbitAI … Continue reading 改进张益唐证明，陶哲轩「他的证明比我还强」