Jake Boggan、 Barnette 予想を 解決
Simon Willisonこの話題 1ソース →
要
AI要約
Jake Boggan 氏は Barnette 予想の解決に複雑な感情を抱いています。 同氏はこの問題に 24年にわたり取り組んできました。 昨夏には解決したと考えたこともありました。
AI要約です。詳しくは出典へ。誤りを報告
典
出典
1ソースSimon WillisonQuoting Jake Boggansimonwillison.net
出典を読む