陶哲轩：AI加速科学与数学研究

数学家陶哲轩在牛津数学公开讲座中探讨了AI在科学和数学领域的潜力。他认为AI是一种“猜测机器”，能够提供创造性的输出，但不一定总是正确。然而，在科学领域，通过结合独立验证来过滤错误结果，AI可以帮助加速科学研究。特别是在药物设计和材料科学中，AI能够显著减少试验候选对象的数量。此外，在数学领域，AI有望加速证明过程，并在未来帮助数学家更快地编写无误的证明。
来源：https://mp.weixin.qq.com/s/fWB3c-mgC0W2RHWAPg1XJQ