消息称OpenAI正用代号Doug的预训练模型变体攻关霍奇猜想，但尚未公布证明。
推荐理由：若证明成立，将显示大模型已能参与可验证的前沿数学研究，并可能加速机器学习研发自动化；但目前只有匿名消息，缺少论文与同行审查支撑。
阅读原文