OpenAI 称在另一千禧年难题获进展,霍奇猜想等传突破