Kervaire

丘成桐使用GPT-6 Astra和Claude Pro进行AI辅助数学证明

著名数学家丘成桐及其合作者发表了一篇新论文，解决了微分几何中一个长达44年的猜想，该猜想涉及七维奇异球面上的正曲率度量是否存在。该论文承认AI模型GPT-6 Astra和Claude Pro在探索证明策略和计算方面的协助，并提出了一种新颖的构造方法。该方法涉及将每个奇异球面分成两个半球，并在每个半球上构造正曲率度量，确保它们在边界处无缝连接。AI在这一复杂数学研究中的应用凸显了顶尖数学家解决挑战性问题的方式的转变，从怀疑转向整合AI工具。