@OpenAI AI 以 Lean 驗證的證明挑戰 27 年歷史的指數時間假設。P vs NP 仍未解決。ETH 作者已審閱。
Be_In_Headlines2026-10-28 12:25 UTC關注@OpenAI AI 以 Lean 驗證的證明挑戰 27 年歷史的指數時間假設。P vs NP 仍未解決。ETH 作者已審閱。顯示原文ETH/USDT2,420.51+5.45%000分享