9月17日消息,据The Information报道,本月早些时候,OpenAI因被数学家指控试图抢占解决超高难度数学题的功劳而备受争议。然而,有知情人士透露,OpenAI目前正接近攻克“千禧年大奖问题”中的另一道数学难题,员工们预计霍奇猜想将在不久后得到解决。不过,公司可能会延迟公布解决方案,以避免再次引发公关危机。报道指出,尽管解决这些问题成本高昂,但部分OpenAI研究人员认为,数学是模型在软件工程之后应探索的自然领域。这两个领域都强调逻辑推理,且答案可自动验证。有研究人员预测,软件工程领域的自动化浪潮将在未来六到九个月内蔓延至数学领域。此外,解决复杂数学问题也有助于推动机器学习研究的自动化进程,该领域涉及大量数学知识。
