新智元报道，HZj，新智元导读，由陶哲轩担任评委的2024年美国塞勒姆奖，由华人女数学家王艺霖和阿根廷数学家MiguelWalsh获得！来自上外附中的91年上海女生王艺霖，成为塞勒姆奖首位女性华人得主...

新智元报道，Aeneas好困，新智元导读，Transformer解决了三体问题，Meta研究者发现，132年前的数学难题——发现全局李雅普诺夫函数，可以被Transformer解决了，我们不认为Tra...

已押中10位菲尔兹奖得主的SalemPrize，今年颁给了一位90后华人——继陶哲轩，2000年获奖，和詹大鹏，DapengZhan，2011年获奖，之后，1991年出生的王艺霖，YilinWang，...

能拿下数学奥赛银牌水平的AI是否达到了12岁陶哲轩的水平，陶神本人的回答来了——两三年后，AI将会在这些数学竞赛中比人类做得更好，再过个两三年吧doge，以上来自数学大佬陶哲轩在巴塞罗那的最新专访，既...

大约在三周前，陶哲轩提出了一个众包项目，结合专业和业余数学家、自动定理证明器、AI工具和证明辅助语言Lean，来描述与4694条magma，原群，方程定律相关的蕴含图，这些定律可以使用最多四次magm...

新智元报道，桃子好困，新智元导读，AI已完全融入数学家的工作流中，陶哲轩刚刚宣布，最新方程理论项目已完成99.9963%，众包之力外加AI辅助取得了重大成绩，他认为，剩余大约700个让人类头疼的难题，...