OpenAI 聲稱在納維–斯托克斯千禧年大獎問題上取得突破：AI 如何在 88 小時內找到有限時間奇點證明