数学家如何看待AI证明数学猜想

武汉理工大学：刘永红

许多数学家对AI的设计、试验和验证等有研究兴趣。一般来说，数学家用艺术直觉发现规律，也用AI来验证结论。可以说，这已成为一种数学研究的模式。 

数学猜想是数学中最坚固的堡垒，看一看AI能否攻克。因为AI是人类为解决实际问题构建的工具，数学家赋予AI严谨逻辑推理，其价值在于表达数学自由与人类理性。

由于猜想的证明取决于内部的一致性，而非外部现实。AI把复杂问题转化为已知或可解形式，对猜想的严格证明具有积极价值，但AI并非神秘领域‌‌。对比之下，质疑，是数学家的一种精神和方法，而AI缺乏之。

数学猜想不仅是数学研究对象，更是‌理解世界、追求真理的一个重要途径‌。AI证明数学猜想，不亦说乎！