在最近的研究中，清华大学的沈阳教授及其团队运用人工智能技术，在互联网上整理出了118,511个数学猜想。这些数据并非用于人类阅读，而是供AI系统分析的。团队还让AI对这些猜想进行排名，其中中国熟知的哥德巴赫猜想排在第49位。沈教授在访谈中深入探讨了四个关键观念：自进化数学（PCU框架）、自进化算法优化（PAE框架）、自进化软件工程（ECX范式），以及AI社会未来可能出现的两种结构。
沈教授提出，AI在数学领域的突破意味着机器将能够以超越人类理解速度的方式生成数学知识。这使得人类面对的大规模数学成果，在未能充分理解时也需要不断地进行验证和应用。他认为数学研究的重点将从解决个别难题转向创造解决一类问题的新方法，与此同时，数学的自我增殖能力可能会不断加强，推动理论与工具的发展，进而形成一个持续增长的研究闭环。
针对未来数学家面临的新挑战，沈教授提到，当AI能够大量生产数学成果时，数学家们的角色将转向创造新的概念和表达方式。他提出了“数学界面”假设，认为现有的数学体系可能只是适应人脑认知的一种工具，而AI能够探索出不同于人类理解的逻辑结构。
此外，沈教授提出PCU研究框架，强调在AI时代，数学的评价标准将转向“人类检验稀缺”。当定理可以快速产生时，筛选与整合的能力将显得更加重要，只有那些能够统一已有结论和推动新理论的成果才会显得珍贵。
沈教授进一步阐述了自进化数学的概念，认为关键在于创造新方法，使得以往无法解决的问题得以实现。同时，他指出，跨智能数学将使不同智能系统形成各自的数学表示和证明方式。人类和AI之间的合作，不仅会推动数学的前进，也将开辟更多通向数学真理的新路径。
最后，沈教授提到自己的研究将重心放在如何让算法不断自我进化，并利用AI在艺术创作中取得了显著成果。他期待AI数学革命不仅仅是机器解决更著名的难题，而是形成一个能够与人类共同发展的自进化数学体系。
发表评论