科学家们已经确定了以前从未见过的数学模式。
通过使用人工智能做出的这一发现有助于开发全新的问题解决技术。
这项由悉尼大学进行的研究已发表在《自然》杂志上。根据其合著者 Geordie Williamson 的说法,“数学问题被广泛认为是一些最具智力挑战性的问题。”
“虽然数学家已经使用机器学习来协助分析复杂的数据集,但这是我们第一次使用计算机来帮助我们制定猜想或为数学中未经证实的想法提出可能的攻击路线。”
展望未来,人工智能对于减少工作量和节省时间将变得越来越重要。“我们已经证明,在数学直觉的指导下,机器学习提供了一个强大的框架,可以在有大量数据可用或对象太大而无法用经典方法研究的领域中发现有趣且可证明的猜想,”牛津大学的合著者安德拉斯·尤哈斯 (András Juhász) 说。
威廉姆森说:“人工智能是一种非凡的工具。这项工作是第一次证明它对像我这样的纯数学家有用的工作之一。”
“直觉可以带我们走很长的路,但人工智能可以帮助我们找到人类思维可能不容易发现的联系。”