DeepMindのAlphaProof Nexus、Leanの証明でエルデシュ問題9件を解決　2件は50年超未解決

353件のエルデシュ問題と492件のOEIS予想の結果は機械検証済み証明とともにGitHubで公開。