01
AI解决了数学界一个悬了80年的老问题：埃尔德什平面单位距离猜想。
5月的一个下午，这个消息第一次传到Timothy Gowers耳中时，他以为AI给出的是一个证明。
如果这是真的，「数学家可能很快就要出局了。」
他花了整整一晚上，重新调整自己的世界观。
第二天早上，一封澄清邮件到了：AI不是证明了这个猜想，是推翻了它。
Gowers反倒「松了一口气」。
为什么AI找到了一个反例，比它证出了一个定理，更让Gowers觉得安心？
8月12日，他的一篇博客给出了答案。
一切要从8月1日说起。
0
评论 (0)