Loading...
多伦多大学数学家Daniel Litt谈到人工智能如何改变学术数学的奖励机制，以及他如何轻松证明这一点： “数学的目标并不是写数学论文，而是产生某种理解。” “也许有些理解存在于模型权重之中或其他什么地方。对我来说，这很难让人满意。” “我做数学的动力是满足自己的好奇心，我认为人们应该有能力做到这一点。而这需要一个相当庞大的体系。” “现在，如果你是市场上的博士后……找到工作的最佳方式就是发表大量论文，也许是证明一些旧的猜想。而你可以通过反复尝试，直到模型生成一个希望是正确的证明。” “你甚至不需要提前选定要证明的定理。” “这里有个实验你可以试试。你可以用Codex，说，‘上网找五个最近的代数几何猜想并证明它们。’我做过这个实验，经过一些来回，我在一个小时内得到了大约三篇质量很差但正确的论文。” @littmath @lishali88