负责任地发布人工智能生成的数学

【HN用户评论摘要】 > 我们要求他们停止在专有模型上测试高级数学问题。也许我是唯一一个这样做的人，但出于某种原因，这些要求让我觉得就像看门人应该如何呼吸空气一样。这是数学……数字和符号就在柏拉图式的领域里，任何人都可以随心所欲地使用它们。要求其他人停止显然是荒谬的。在信用到期时确保信用？没关系。如果你的模型融合了许多其他人的努力 大部分都很简单。证明被简化，正确归属现有文献，并在可以方便评论的地方发布，并带有用于验证的工件，这些想法都是非常没有争议的东西。我认为最辣的观点绝对是这种立场，即长期存在的数学问题不应该被用作（特别是专有的）模型的基准。在最顶部说明。理由非常清楚。> 使用专有的内部 对于人工智能解决的每一个重要的匹配问题，如果没有数学家，我们就不会知道该问题的存在和重要性。著名的数学猜想是社会建构，是由数学界成员数十年甚至数百年的关注形成的。如果没有它，危险在于未来的数学“进步”将被简化为生成精益语句表和人工智能生成的可能/无法证明的位。 这篇论文希望人工智能公司向人类数学家付费，让他们理解人工智能生成的东西。 这是一个不寻常的问题。 原始链接: https://agmai.org/general-sep29/