Jake Boggan、Barnette予想がAIに証明されたと語る
まずはこの出来事を
AI によるまとめ
2026年10月7日、Simon Willisonが報じたところによると、Jake BogganはHacker Newsでopenai/mathに関する議論にコメントし、自身がBarnette予想に24年、数千時間を費やし、昨年の夏には一度解決したと思ったこともあったと述べた。同予想は問題180の箇所で証明されたとし、知らせを聞いたとき、遠く離れた悲しみのような感覚があり、元恋人が突然交通事故で亡くなったと知ったときのようだったと表現した。
報道をもとに AI が作成 · 9 日前に更新
最新の続報10月7日 12:47
Boggan氏はBarnette予想が問題180の箇所で証明されたと述べ、複雑な感情を表した。報道の時系列
報道をたどり、出来事のさまざまな面を知る。
10月7日
- Simon WillisonJake Boggan、Barnette予想のAIによる証明を語る：24年の心血と複雑な感情
Jake Boggan氏はHacker Newsでopenai/mathに関する議論にコメントし、自身がBarnette予想に24年・数千時間を費やし、昨年の夏には一時解決したと思ったこともあると述べた。同予想は問題180で証明されたとされ、氏は知らせを聞いて遠い悲しみを覚えたと語り、元恋人が突然交通事故で亡くなったと聞いた時のようだと形容した。