AI人工智能正胸有成竹地破解“无解”的数学难题

AI人工智能很快就能炮制出数百个数学证明，这些证明看似无懈可击，实则暗藏漏洞，或是复杂到人类根本无法验证。我们该如何判断其真伪？

四色定理指出，任何一幅地图只需用四种颜色即可完成着色，确保相邻区域不会出现同一种颜色。该定理在 2005 年完成了正式证明，而这一证明的完成在很大程度上借助了计算机的力量。 图源：Science Photo Library 近50年前的1976年，数学家们将四色定理的证明拆解为数千个可验证的小案例，并编写计算机程序逐一验证。只要数学家确认编写的代码不存在问题，就能保证证明的正确性。1976年，四色定理的首个计算机辅助证明问世，1997年数学家们得出了更简洁但仍需计算机辅助的证明，2005年，该定理的形式化验证机器检验证明正式发布。历经多年，人们对这一证明的认可度逐步提升，最终几乎被全球数学界接受。 巴扎德说：“四色定理的证明借助了计算机的力量，起初人们对此极为不满，但如今这一证明已被广泛接受，甚至被写入了教科书。” 未知的领域 但计算机辅助证明与数学界的合作研究，和人工智能独立完成证明的提出、修正与验证，有着本质的区别——尤其是当人工智能推导出的证明，是人类个体甚至研究团队都无法理解的证明时。 无论数学家们是否愿意接受，人工智能都已在重塑数学证明的本质。数百年来，数学证明的推导与验证都是人类的工作，论证的撰写，也是为了说服其他人类数学家。而如今，我们正走向一个新的局面：机器或许能推导出经形式化系统验证、逻辑无懈可击的证明，而即便是最顶尖的数学家，也无法理解其推导过程。 莱肯比表示，若这一未来成为现实，人工智能将包揽从提出猜想、测试论证到验证证明的全部步骤，“到那时，我们就成功了，成功证明了一个数学结论”。 但这种研究方式，也引发了一个深刻的哲学问题：当数学证明成为只有计算机能理解的内容时，数学仍能被视作人类的研究领域吗？还是说，它将演变成一种全然不同的事物？而这，也让人们不禁思考，数学研究的意义究竟是什么。 参考资料 https://www.livescience.com/physics-mathematics/mathematics/proof-by-intimidation-ai-is-confidently-solving-impossible-math-problems-but-can-it-convince-the-worlds-top-mathematicians