请问HN：一种新的数学研究组织方式
大家好，
在最近关于人工智能辅助证明的各种公告以及数学界的反应之后，我们显然需要新的方式来组织数学研究。
目前的模式是将论文提交到arXiv，并等待社区的审稿，这种方式在人工智能研究中将无法适应。很可能会出现这样的情况：数学命题变得比几年前更容易证明，以至于arXiv将被大量人工智能生成的粗糙解释和相关的lean代码淹没。这样一来，找到“经典”的数学证明将变得非常困难。
一方面，社区往往倾向于认为数学不仅仅是一个形式系统（甚至可以说，哥德尔早已解决了这个问题）。因此，我们不应将人工智能数学等同于数学。
另一方面，利用人工智能工具证明长期存在的猜想（例如NS）显然具有数学价值，尽管社区需要时间来消化这些成果。然而，我认为将姓名或公司与这些声明挂钩会对社区造成很大伤害。例如，当某个人或公司没有付出努力时，很少会有人愿意为他们清理人工智能的粗糙成果。
显然，需要在人工智能生成的粗糙证明和经典数学知识之间进行明确的区分。为此，一个可能的解决方案是建立一个与arXiv平行的平台，适应人工智能，专门用于收录主要由人工智能生成的手稿和lean代码，这些内容尚未被充分消化。
该网站的提交应为匿名。这样，如果一位数学家需要消化一个人工智能生成的粗糙证明以将其纳入更广泛的完成作品中，他们是在为社区服务，而不是为提交该证明的原始个人服务。即使提交是匿名的，也可以提取关于个人影响因子的匿名指标（超越提交数量），这些指标可以作为人工智能数学贡献的工作申请标准。这样，我们也能激励人工智能的工作。
该网站还应作为数学人工智能应用的上下文层，这将进一步加速数学研究。
我意识到这并不是一个完全成熟的想法。我分享这个想法是希望我们能够开始开放讨论，以完善它并作为一个社区共同构建。
期待听到大家的想法。非常感谢！
查看原文
Hi all,<p>After all of the recent announcements of AI assisted proofs and the reaction of the mathematical community, it is clear the we need new ways of organizing mathematical research.<p>The current paradigm of submitting a paper to arxiv, and waiting for the review of the community will not scale with AI research. There is a probable outcome where mathematical statements are so easy to proof (compared to some years ago) that arxiv will be floded with AI slop explanations and their associated lean code. It will then be very difficult to find "classical" mathematical proofs.<p>On the one hand, the community tends to cluster around the impression that mathematics is more than the formal system (one could even argue that Godel settled this question a long time ago). So we should not allow AI mathematics to be synonymous to mathematics.<p>On the other hand, there is clear mathematical value in proving a longstanding conjecture with AI tools (for example NS), even if it will take time for the community to digest it.
However, i think attaching names/corporations to these staments will do a lot of harm to the community. For example there will be very few people willing to clean AI slop for someone else when that person/corporation did not put the effort.<p>There seems to be a need for a clear separation between AI slop proofs and classical mathematical knowledge. For this, a possible solution is to build a parallel platform from archive, adapted to AI, with manuscripts + lean code generated mainly by AI, that have not been fully digested.<p>Submissions to this site should be anonymous. That way, if a mathematitian needs to digest an AI slop proof to include it in a wider finished work, they would be doing it for the community, not for the original person thay submitted it. Even if submission are anonymous, one could extract anonymous metrics about personal impact factor (which goes beyond number of submissions) that could be included for job application as a metric of AI mathematical contributions. That way we also incentivice AI work.<p>The site should also serve as a context layer for mathematical AI harnesses. This would further speed up mathematical research.<p>I am aware this is not a fully landed idea. I am sharing it so that we can start an open discussion to perfect it and build it as a community.<p>I am looking forward to hearing your thoughts. Thank you very much in advance.