#scientific-discovery

OpenAIの汎用推論モデルが、1946年にエルデシュが提起した離散幾何学の核心的予想を自律的に反証した。AIが著名な未解決数学問題を自力で解いたのは史上初であり、プリンストン大学のノガ・アロンを含む複数の数学者が証明を検証した。