气阳/盖蒂图像
想象一下世界地图，由国家边界分开。您需要几种颜色来填充每个国家，再加上大海，而没有任何相同的颜色接触？
答案是四个，无论您的地图外观如何，四种颜色总是足够的。但是证明这需要数学分裂。众所周知，四种颜色定理是使用计算机证明的第一个主要结果。1976年的证明将问题减少到了数千个地图布置，然后通过软件检查了每个问题。
当时的许多数学家都齐心协力。他们认为，如果证明的核心隐藏在不可知的机器后面，他们怎么会被称为事实？也许是因为这种回压，计算机辅助的证明仍然是少数追求。
但这可能开始改变。当我们报告AI可能会完全改变我们进行数学的方式，最新一代的人工智能正在将这种论点置于其脑海。当我们可以将证明的验证验证到机器上时，为什么要问支持其支持者，我们应该相信有缺陷的人类的数学以及他们的假设和捷径？
关于数学中AI的争论是社会面临的更大问题的缩影
自然，并不是每个人都同意这个建议。关于AI在数学中使用的争论是社会面临的更大问题的缩影：何时让机器接管？科技公司越来越有希望，AI代理人将通过从处理发票到预订假期的平凡任务来消除苦苦挣扎。但是，当我们尝试让他们度过一天时（请参阅``光彩和沮丧的闪光：我让AI经纪人经历了我的一天），我们发现这些代理商却充分完成了工作。
通过将信用卡或密码交给不透明的AI来放弃控制权，会产生与四种颜色相同的不安感。直到现在，我们不再在地图上着色，而是在探测新区域时试图找到其边缘。证据表明我们可以依靠机器在地平线上等待我们，还是仅仅是数字版本的龙？
主题：