麻省理工学院、哈佛大学/牛津大学的博士后独立取得的杨–米尔斯理论部分成果

我的两位数学家/物理学家朋友在过去几个月里一直研究杨–米尔斯理论，并取得了实质性进展。由于 OpenAI 的声明，他们决定公开自己的成果。他们设想了一种由社区共同创造数学的模式，在我看来，这在 AI 时代的数学研究中很有道理。我认为这一点与成果本身同样有趣，因此正在帮忙传播他们的主张。他们在预算很少（约 500 美元）的情况下，在杨–米尔斯理论的存在性问题上取得了实质性进展。据我理解，他们是在 Bałaban 的工作基础上推进的，正如 OpenAI 在其声明中所说的那样。他们的工作由人类引导，AI 则承担大量明确指定的工作。Claude 和 ChatGPT 都作出了重要贡献。这个 GitHub 仓库中存放着他们的工作，带时间戳的提交记录始于几天前，也就是他们决定公开成果的时候。他们设想了一种由社区共同创造数学的模式，让互联网上的所有人都能使用手头的任何工具，为完整解决这一问题作出贡献，目前先通过这个 GitHub 仓库展开。在我看来，这是一种积极、值得期待的数学研究新模式。由于进展实时可见，没有人会因为被不知名的竞争者抢先而白白耗费大量时间，而且贡献归属也比传统论文更诚实。随着各项证明逐一完成，可以将其形式化，并以传统方式发表，从而获得充分认可。在我看来，这既是一项重要的阶段性成果，也是一场关于数学研究可以如何开展的实验。（是的，社区协作数学以前就有过，区别在于，如今这种模式比以往任何时候都更为合理。）https://github.com/MathePhysics/4D_Wilson_Loop_RG https://x.com/MathePhysical/status/2115040756226474115