报道称OpenAI以代号Doug的下一代预训练模型变体攻克数学难题，并瞄准霍奇猜想。
推荐理由：若消息属实，关键不只是解题纪录，而是OpenAI正把高阶数学能力视为自动化AI研究的中间层，试图让模型参与算法发现并反哺后续训练。
阅读原文