編集 ページを編集し、保存をクリックしてください。ヘルプ、うんどうば メディアファイル FIXME **このページはまだ完全には、翻訳されません。翻訳の完了を支援して下さい。**\\ //（翻訳が完了したらこの段落を削除して下さい）// == Freefall 2820 == **パンケーキはいつでも**\\ [!0.987]2016-06-06 {cnav} {{cotan>2820.png}} @9,19,291,101 # ~ @109,57,205,20 # ~ @69,10,20,20 # ~ @5,18,288,128 [sam]ロボットのことについては、どう思われますか？人間が一番損をしている。この人たちは、あなたが理解できないだけでなく、あなたが理解できないようなことをするんです。 ~ @8,346,269,121 # ~ @130,374,212,21 # ~ @4,348,264,150 [mad]2014年からやっているそうです。 人間がチェックするには大きすぎる数学的証明をコンピュータが作っているのです。ある時点で、マシンを信じるか、拘束されるか、どちらかです。 ~ @6,648,321,119 # ~ @126,671,275,20 # ~ @2,651,313,144 [sam]最初は家族のアイデアでした。そして、わからないことを信用できないと、どこまでいっても厳しいということを教えてくれました。マッド外から来た、この見知らぬ人たちが好きなのだが、時々、頭が痛くなるのだ。 ~ {{<cotan}} \\ カラー：ジョージ・ピーターソン\\ \\ Examples:\\ February 2014: for the Erdös mismatch problem [[http://www.computerra.ru/95029/the-evidence-which-validity-a-human-can-not-check/|generated file size 13 GB]].\\ May 2016: [[https://geektimes.ru/post/276468/|200 TB solution]] of the Boolean Pythagorean triples problem.\\ P.S.: Leo Tolstoy's novel [[enw>War and Peace]] of about 1900 pages is only about 3MB. 続編集保存した後 このサイトの名前、英語、小文字のみ この項目は空のままにして下さい保存 プレビュー キャンセル 編集の概要 注意： 本ページを編集することは、あなたの編集した内容が次のライセンスに従うことに同意したものとみなします： CC Attribution-Noncommercial-Share Alike 4.0 International