隆重介绍 Axiom 的发现团队成员:@albe_alfa 阿尔贝托的路径是从国际货币基金组织→交易→训练人工智能来破解一个有130年历史的猜想。 他发现了新的李雅普诺夫函数,而此前还没有通用的算法存在。 人工智能在数学发现领域的应用重新定义了人类思维的边界。这是本系列第一集视频的链接,由@f_charton 出演: