AI破解80年数学难题

要点

• OpenAI的数学家向AI聊天机器人输入一个提示，成功解决了一个80年未解的几何问题。
• 该问题自1940年代提出以来一直困扰数学界。
• AI在数学领域的应用正在加速，这项成果展示了其强大的推理能力。