编辑 编辑该页面，然后点击保存。帮助，游乐场 媒体文件 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