AI破解80年数学难题，推翻爱多士结论

OpenAI的聊天机器人近日破解了一项困扰数学家80年的几何难题，推翻了匈牙利数学家保罗·埃尔德什（Paul Erdős）的结论。该项目尚未经过同行评审。

埃尔德什曾认为该问题已有最终解答，但AI通过新的推理方法找到了反例。这一结果令研究人员震惊，展示了人工智能在数学推理方面的巨大潜力。

尽管机器证明尚未完全验证，但专家表示，这标志着AI在基础数学领域的突破。未来，AI或将成为数学家的得力助手。