OpenAI 声称在纳维–斯托克斯千禧年大奖问题上取得突破：AI 如何在 88 小时内找到有限时间奇点证明