クロード・ミュートス、OpenAIの画期的なエルデシュ問題を「可愛くてシンプルな証明」で解決か

OpenAIがエルデシュの単位距離予想を反証した直後、Anthropicはクロード・ミュートスが「週末のうちに」同問題を解決できることを示した。エンジニアのショルト・ダグラス氏は、ミュートスが1946年の予想を「可愛くて単純な証明」で解き、AIによる数学発見に「深刻なオーバーハング」がある兆候だと述べている。