新智元报道 AI 解决了数学界一个悬了 80 年的老问题:埃尔德什平面单位距离猜想。 5 月的一个下午,这个消息第一次传到 Timothy Gowers 耳中时,他以为 AI 给出的是一个证明。 如果这是真的,「数学家可能很快就要出局了。」 他花了整整一晚上,重新调整自己的世界观。 第二天早上,一封 本文链接