@OpenAI 人工智能以在 Lean 中驗證的證明質疑 27 年指數時間假說。P vs NP 仍未解決。ETH 的作者正在審查。
BeInCrypto Español 🗞關注@OpenAI 人工智能以在 Lean 中驗證的證明質疑 27 年指數時間假說。P vs NP 仍未解決。ETH 的作者正在審查。顯示原文ETH/USDT2,386.46+2.88%000分享