主题：一个华人几乎证明了孪生质数猜想，海外的 -- 老成都
共:💬153 🌺860 🌵5
看楼主口气是个码农，没有瞧不起的意思，我也是，只不过是个数学系出身的码农而已。关于张证明了啥，你可以去水木翻翻数学版的帖子。我不想费口水了。只是想说不要以为数学家不会写两行代码暴力破解啥的，专门有个数学分支就叫机器证明，吴文俊就是搞这个的。如果真像你说的都能暴力枚举了那在数学上根本就不叫个事儿了。
- 相关回复 上下关系8
压缩 2 层
🙂楼主似乎没有看懂张先生到底证明了什么 3 咯嘣 字135 2013-06-01 00:38:42
🙂没有这回事，你的中文好像比我还差了：） 不是相隔 1 老成都 字92 2013-06-01 02:11:30
🙂你的意思是说老张那个PI(X)定义不是指的x 1 老成都 字616 2013-06-01 01:44:31
🙂从另外角度说一下暴力破解的idea
🙂我的中文没说清楚，但后面跟帖后面有二次解释。 老成都 字0 2013-06-01 01:30:36
🙂内行的意见总是会被淹没在外行的口水中。忍着点吧 flux 字0 2013-06-01 01:19:30
🙂专家有话那就＂暴力＂一段MATLAB献个丑^_^ 2 侯登科 字242 2013-05-31 12:07:50
🙂对一个问题的正确理解很可能不止一个 达雅 字57 2013-05-31 09:26:38