本文へ移動
10/7(水) 14:09
あとで読む
出典
視点Simon Willison· 2時間前

Jake Boggan、Barnette 予想を解決

要

AI要約

Jake Boggan 氏は Barnette 予想の解決に複雑な感情を抱いています。 同氏はこの問題に 24年にわたり取り組んできました。 昨夏には解決したと考えたこともありました。

AI要約です。詳しくは出典へ。誤りを報告

典

出典

1ソース
Simon WillisonQuoting Jake Boggansimonwillison.net
出典を読む
この話題を見る