数学领域迎来人工智能革命

牛津大学教授、菲尔兹奖得主詹姆斯·梅纳德表示，数学界正经历一场因人工智能技术加速发展而引发的心理变化。近日，OpenAI宣布其先进未发布模型Astra解决了10个长期存在的数学问题，这些问题涵盖了从抽象理论到实际应用的广泛领域。这些成果引发了数学界的复杂情绪，既有对加速数学发现的热情期待，也有对未来数学工作者可能面临的挑战和不确定性感到担忧。OpenAI发布的解决方案涉及多个数学领域的难题，包括高维空间中的球体堆积、纠错码极限以及复杂网络结构模式等问题。这些问题的解决不仅展示了人工智能在数学研究中的潜力，也引发了关于学术贡献归属的争议。例如，在非索菲群的存在性问题上，研究人员Andreas Thom和Gábor Kun的工作为OpenAI的结果提供了重要基础，但最初的公告并未充分承认这一点。尽管存在争议，大多数数学家认为OpenAI的成就具有重要意义，并且人工智能在数学研究中的应用正在经历一个‘相变’阶段，带来了真正的进展。