Barnette予想、openai/mathの問題180で証明されたとされる

グラフ理論のBarnette予想が、openai/mathリポジトリの問題180として証明済みとされている。Jake Boggan氏はHacker Newsのコメントでこの点に触れ、その予想に断続的に約24年間取り組み、数千時間を費やしたと述べている。問題が解決されたと聞いたことには、複雑な感情を覚えたという。