AIが80歳の幾何パズルを解き明かす。数学者はそれをどう見ているのか?
ポール・エルデシュが1946年に「単位距離問題」を提示してから8十年後、汎用AIが長年にわたる予想上限を上回る配置を生成し、あるδ>0に対して少なくともn^(1+δ)個の単位距離ペアが存在することを証明した。プリンストンの数学者たちがこの結果を検証しており、ティム・ゴーワーズやアルル・シャーカーのような研究者が「重要な前進だ」と評価している。 要点: OpenAIはポール・エルデシュの1946年のパズルを解き、n^(1+δ)の単位距離構成を示した。 プリンストンが結果を検証し、数学分野でAIに2026年の信頼感が追い風となった。 ティム・ゴーワーズは、この前進が幾何学を超えて暗号や証明にも影響し得ると言う。 80歳の幾何学パズルがようやく動いたのは、OpenAIのシステムが、長年の期待を上回った、にわかに信じがたい構成をつなぎ合わせたときだった。単位距離問題は、1946年にポール・エルデシュが提示し、「平面上のn点のうち、ちょうど1単位離れた点のペアがどれだけ存在し得るか」を問う。AIは、古典的な定石が許すよりも速く増える配置を見つけた。プリンストンの数学者がその作業を確認し、ティム・
Coinpedia·05-31 21:24
