人工智能破解 80 年前的数学难题

OpenAI 的数学家仅通过向聊天机器人输入提示词,便攻克了这道长达 80 年的几何难题 … 美国加州大学伯克利分校的数学家 Tony Feng 表示:”我一向对 AI 对数学领域的影响持审慎态度,但这次的成果实在令人惊叹”… Bubeck 表示,这种做法与利用 AI 解决数学问题的”编排”方法截然不同,在”编排”方法中,研究人员会使用大型语言模型(LLM),通过让模型不断纠正自身的错误来找到问题的解决方案。

原文连接