导读 计算机科学家和数学家第一次使用人工智能来帮助证明或提出纽结理论和表示论等复杂领域的新数学定理。令人惊讶的结果今天发表在著名的科学期
计算机科学家和数学家第一次使用人工智能来帮助证明或提出纽结理论和表示论等复杂领域的新数学定理。
令人惊讶的结果今天发表在著名的科学期刊《自然》上。
Geordie Williamson 教授是悉尼大学数学研究所所长，也是世界上最重要的数学家之一。作为该论文的合著者，他运用 Deep Mind 的 AI 过程的力量来探索他的专业领域——表征理论中的猜想。
他的合著者来自 DeepMind——AlphaGo背后的计算机科学家团队，AlphaGo是 2016 年第一个在围棋比赛中成功击败世界冠军的计算机程序。
威廉姆森教授说：“数学问题被广泛认为是一些最具智力挑战性的问题。
“虽然数学家使用机器学习来协助分析复杂的数据集，但这是我们第一次使用计算机来帮助我们制定猜想或为数学中未经证实的想法提出可能的攻击路线。”
证明数学猜想
威廉姆森教授是全球公认的表示论领导者，表示论是使用线性代数探索高维空间的数学分支。
2018 年，他被选为伦敦皇家学会最年轻的在世院士，该学会是世界上最古老、可以说是最负盛名的科学协会。
标签：
免责声明：本文由用户上传，如有侵权请联系删除！