Jake Boggan、Barnette予想のAIによる証明を語る：24年の心血と複雑な感情

Jake Boggan氏はHacker Newsでopenai/mathに関する議論にコメントし、自身がBarnette予想に24年・数千時間を費やし、昨年の夏には一時解決したと思ったこともあると述べた。同予想は問題180で証明されたとされ、氏は知らせを聞いて遠い悲しみを覚えたと語り、元恋人が突然交通事故で亡くなったと聞いた時のようだと形容した。