研究可以是问AI 合适的问题。

来源: 于 2024-07-25 11:04:46 [旧帖] [给我悄悄话] 本文已被阅读：次

现在为解决那些问题数学家发明了很多新理论新工具，就像elliptic curve，恐怕不是Fermat 能看懂的。如果整个证明从头到尾都是AI完成的，它未必会按这个线路发展。要么我们试着去理解它，要么我们把方向规划出来，技术难点由AI来解决，（if AI can do any of these. )