“数学2.0”需要更全面地重视数学进步

【HN用户评论摘要】 他的观点非常平衡，他提出的担忧也是合理的。他承认人工智能将改变数学，但简单地将证明扔给数学界并期望其他人做验证、完善和扩展这些繁重的工作，这并不是推进该领域的有效方式。人们似乎对达到某些任意基准（我们证明了 X 个未解决的问题）更感兴趣，而不是真正为数学做出贡献。但还有什么可以期待的呢？这是 证明的作者被邀请进行多次演讲，并会见该领域的其他专家。 举办研讨会来讨论证明以及其他最新进展。 问题由人工智能提示者自主解决，一旦他们的初始目标被“解决”，他们对更广泛的领域本身不感兴趣，并且对人工智能输出的理解不足以回答有关结果的问题 这里的价值似乎是证明作者获得的见解以及路径 有趣的是，我们在过去的难题上仅几个月/一年就取得了看似进展的进展后，却如此迅速地使用了“数学 2.0”这个术语，而这个术语已经存在了数千年。 软件也是如此。我们可以拥抱人工智能来推动软件和计算机走得更远，而不是放弃创建新颖的项目，而只是将其他人的想法移植到 Rust 中。我不确定这将如何运作，但我相信当前的范式只是将代理推入代码库，除了你之外没有太多原因，这将使构建软件变得非常无聊，并将有创造力的人赶出该领域并停滞不前。我的预测是 我希望特里有一个私人的地方，他可以安全地表达他对这些人工智能公司对待数学的糟糕态度的愤怒。我知道，作为一个最近支持人工智能的公众人物，他的心态很矛盾，所以我理解他添加了一些警告，比如“也许数学 2.0 也有人工智能的一席之地”，但在 OpenAI 如此彻底地破坏地球几天后说出这样的话，感觉不太好。 原始链接: https://mathstodon.xyz/@tao/117395269325940185