标签
本文推测，OpenAI的内部模型'Bel'可能是一种突破性的人工智能，能够解决诸如千禧年大奖问题等主要数学难题，有望彻底改变机器辅助发现，并成为有史以来需求最高的模型。
这篇文章主张，在AI辅助的发现中，人类应获得首要功劳，以反驳OpenAI声称生成数学论证的AI系统应被视为发现者的说法。