AIが数学の難問「エルデシュ問題」を次々と解決

要点：OpenAIのモデルが、1946年に提唱された「単位距離問題」の反例を提示し、さらに未発表モデル「Astra」がエルデシュの数学的難問を計3つ解決しました。AIが歴史的な数学的証明を成し遂げる段階に達しています。