据知情人士透露，OpenAI 即将攻克七大千禧年大奖难题中的另一道——霍奇猜想。