西西河

主题:最近看到的笑话之五 -- 钛豌豆

共:💬4002 🌺30728 🌵231 新:
全看分页树展 · 主题 跟帖
家园 说起这个,刚刚看到计算机解决了某数学难题,但人类无法理解

http://www.guancha.cn/Science/2015_02_02_308256_2.shtml

数学家Steven Strogatz曾经预言:利用计算机辅助解决数学问题,早晚有一天人类会看不懂计算机的算法。现在,他的预言成真了。2014年早些时候,研究者使用计算机解决了埃尔德什差异问题(Erd?s discrepancy problem)--一道困扰了数学界80多年的问题。遗憾的是,我们没法验证计算机的结果是否正确。

我没法验证这个算不算笑话,姑且贴之

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河