# OpenAI 收回三個數學結果

**OpenAI** 收回三個數學結果，引發關注。這些結果是否經過 **Lean** 驗證存在疑問，外界對此事的評論眾說紛紜，認為相關文章寫得仓促，缺乏嚴謹性。這一事件引發了對 **AI** 在數學領域研究的思考和討論。

原始來源（Hacker News）：https://twitter.com/danintheory/status/2108065033070789090

— ai.luvai.net（繁中 AI 情報站）
