一个月后解决一个千禧年奖励问题，Open AI发布了300多个额外数学问题的证明，包括五个剩余千禧年奖励问题中的三个进展，如黎曼假设。发布了700多篇论文，在数学界引起了既钦佩又批评的反响，专家称其可能值得菲尔兹奖。批评者，包括菲尔兹奖得主，警告称AI快速解题可能危及数学的目的。争议在更广泛的AI安全和企业竞争担忧中升级，特别是在一名Anthropic研究员因安全担忧辞职以及关于模型训练使用未公开工作的指控之后。在压力下，Open AI帮助组建了一个数学家咨询小组，以指导数学中AI的伦理使用。上周，该小组发布了关于发布AI生成证明的指导方针，Open AI表示在发布最新结果时遵循了这些指导方针。该公司声称旨在让数学家在塑造AI如何支持数学理解方面保持核心地位，尽管关于信任、署名和该领域未来的持续紧张关系依然存在。
来源: Wall Street Journal US Business · 由HeadlinesBriefing整理摘要