智能时刻的观察

人工智能并非取代人类在数学和物理中的直觉，而是重新构思了问题的提出、探索与理解方式。

在数学家和理论物理学家当中，人工智能引发了各种不同的反应。一些人认为它与自己的工作无关；另一些人则担心它可能侵蚀其领域中最具创造性和智力回报的部分。

然而，在伦敦数学科学研究所及其他地方的研究中逐渐显现的真相更为微妙：人工智能并非取代人类在数学科学中的创造力，而是正在增强它。如今，软件能够逐行检查证明过程，并发现那些过去需要耗费数月人工审查才能找到的错误。它可以系统地搜索反例，检验一个猜想是否真正成立，或以意想不到的方式失效。此外，它还能提出论证中的中间步骤，建议有用的辅助结果，帮助弥合已知内容与尚待证明之间的鸿沟。

网页链接