Lean– tag –

OpenAIが数学の未解決問題に関する722件の原稿を公開。ミレニアム懸賞問題の一つへのアプローチや、数学コミュニティとの摩擦、証明の検証方法までの背景を解説します。