第1990章 25丨人类没毛病，四色定理的计算机证明

请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。

如果他正确，我就失败，我也很不服气……我们打开答案看看……果然他改对了，我也无话可说。</p>

…………做难题的争论，也有烦恼，但又给我长方法。这就是有趣的做道题的争论。</p>

—— —— ——</p>

（B）Kimi：“苏格兰羊”数学笑话</p>

1990年，圣诞节！Kimi思考着她的人工智能项目。她的目标是开发一个能够理解和处理复杂数据的智能系统。突然，她想起了一个关于“苏格兰羊”数学笑话。</p>

有一天，一个天文学家、一个物理学家和一个数学家乘坐火车到苏格兰旅行，他们一起看到了窗外有一只黑色的羊。天文学家感慨道：“怎么苏格兰的羊都是黑色的？”物理学家纠正说：“应该说苏格兰的一些羊是黑色的。”数学家则最严谨地表达：“在苏格兰，至少存在着一块天地，至少有一只羊，这只羊至少有一侧是黑色的。”</p>

Kimi首先想到，如何将一个简单的观察任务转化为一个复杂的数据分析和机器学习问题。</p>

但是，早在1976年，美国数学家美国数学家阿佩尔（Kenneth Appel）和哈肯（Wolfgang Haken）用高速电子计算机耗费了1200小时的计算时间证明了四色定理（即“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色”），解决这困扰数学家一个多世纪的“世界近代三大数学难题”之一。</p>

Kimi认为，人工智能的核心任务之一就是从纷繁复杂的数据中提取规律、做出准确的判断。就如同窗外那只黑色羊引发的讨论，面对看似简单的现象，人类往往会凭借直觉快速做出结论，但这往往带有主观偏见和不确定性。而在人工智能领域，我们需要将问题形式化、逻辑化，尽可能消除不确定性，确保结论的准确性和可靠性。</p>

但是，如果一个证明完全依赖于计算机的计算而缺乏人类对证明过程的深刻理解，那么这种证明可能不符合传统的数学证明标准。数学证明不仅仅是计算过程，更是对数学结构和逻辑的深刻洞察。</p>

Kimi因此深入思考人工智能的本质。她意识到，虽然人工智能可以处理大量的数据和复杂的任务，但它们在理解问题的深层次含义以及处理抽象概念方面仍然存在挑战。人工智能只是工具，而不是完全的智能体，它们需要人类的指导和理解来发挥最大的作用。</p>