OpenAIモデルが80年越しの数学予想を覆した：単位距離問題とAI数学の転換点

この動画では、OpenAIの記事「An OpenAI model has disproved a central conjecture in discrete geometry」と証明PDF「Planar Point Sets with Many Unit Distances」をもとに、OpenAIモデルが80年近く信じられてきた数学予想をどのように覆したのかを紹介します。 テーマは、平面単位距離問題です。「点をどう置けば、距離1のペアを最大化できるのか？」というシンプルな問いですが、今回の結果では、幾何学の問題に代数的整数論という遠い道具が持ち込まれました。 正方格子がほぼ最強だと考えられてきた背景、AIが見つけた別ルート、そしてAIによる数学的発見が人間の研究者の役割をどう変えうるのかを、専門外の方にも追いやすい形で見ていきます。 元ソース: OpenAI, "An OpenAI model has disproved a central conjecture in discrete geometry" https://openai.com/index/model-dispro... 証明PDF: "Planar Point Sets with Many Unit Distances" https://cdn.openai.com/pdf/74c24085-1... この動画は、公開されている元ソースをもとにNotebookLMで生成した音声概要を、ギュログ用に整理したものです。内容にはAI生成による要約・言い換えが含まれます。数式や厳密な主張を確認する場合は、必ず元記事と証明PDFを参照してください。