地里快讯

知情人士透露，OpenAI已接近解决「千禧年大奖难题」中的霍奇猜想，公司员工预计这一问题将在不久后被攻克。不过对外公布可能会推迟：本月早些时候OpenAI因被数学家指控抢占解题功劳而陷入舆论争议，公司正设法与数学界合作，避免再次引发公关危机。 OpenAI总裁已公开确认在相关数学问题上取得重大进展。部分研究人员认为，数学是继软件工程之后模型最自然的下一个方向——两者都依赖循序渐进的逻辑推理，且答案通常可以自动验证正确性。也有研究人员判断，过去一年席卷软件工程的自动化浪潮，会在未来六到九个月内蔓延到数学领域，这同时有助于推进机器学习研究本身的自动化。