無限の猿定理は実験されたことはある？
無限の猿定理
ホフマン (Hoffmann) とホフマン (Hofmann) は、2001年の論文「猿とタイプライターとネットワークと——偶発的卓越性の理論から見たインターネット」の序章で、この定理が地道にしかし広く一般にひろまっていることを注意した。2002年のワシントン・ポスト紙の記事にはこうある——「少なからぬ人々が、無限の数の猿が無限の数のタイプライターで無限の時間をかければ、いつかシェイクスピアの作品ができあがるかもしれないという考えを楽しんでいる」。2003年、前述のArts Councilが実在の猿とコンピュータのキーボードを使った実験に出資し、このことは広く報道された。2007年、『WIRED』誌はこの定理を「史上8大思考実験」のひとつに挙げた。
囚人のジレンマ
一方、私的不完全観測のケースは分析が困難で、いまだ研究途上にある。私的不完全観測では協調を生み出す戦略を見つけること自体が難問で、長い間ゲーム理論の未解決問題として有名であった。この難問に初めて答えが出たのは1997年のことで、きわめて高い精度で人の行動を私的観測できる場合の囚人のジレンマで協調を生み出す戦略が見つかった。また、各期の終わりに集まってコミュニケーションをとれる場合に限っていえば、1998年に一定の緩い条件のもとでフォーク定理が証明された。コミュニケーションを取れない場合については、相手が今までみてきたことを全く気にする必要のないような特殊な均衡をつくる信念不問アプローチが多くの成果を挙げている。2002年には信念不問アプローチにより囚人のジレンマの均衡を簡単につくる方法が発見され、本格研究が進展し始めた。そして2012年、ついに私的不完全観測下のフォーク定理がかなり緩い条件のもとで証明された。