🐮🐴玩意

只要任意大偶数的素数对数量的函数计算公式得到认可，也就是证明了哥德巴赫猜想。投稿已经4个月，先等着看智慧火花栏目的专家们的意见。再考虑向杂志投稿。还有栾生素数数量的函数计算公式也已经投稿6个月，同样等着智慧火花栏目的专家们处理。

顶

我认为自然数的一个最重要的基本性质就是幂的性质，也就是幂定理，幂定理包含了卡博兰猜想、费马大定理、比尔猜想。而且幂定理的证明最终会连带解决A、B、C猜想的证明。费马先生当年的简单方法应该就是企图用幂的尾数来证明费马大定理，但是由于当年的计算工具及方法的制约，所以再好的想法也是不可能实现的。

中国的算盘可以进行加、减、乘、除四则运算，但是，无法进行1+1的运算。
Eratosthenes筛法可以运算素数数量、双生素数的数量、“1+1”的数量。
1，从数轴上的0点开始，正方向删除间隔pi＜√N的数，留下√N~N的素数。可以用容斥原理计算出素数的数量。见《数学大辞典》第二版，60页。
2，数轴上标注出素数，从数轴上的偶数点k开始，正方向删除间隔k+pi的数，留下(k+pi)~N的双生素数中大素数。大素数的数量也是双生素数对的数量，其数量可以用容斥原理计算。
3，数轴上标注出素数，从数轴上的偶数点N开始，反正方向删除间隔pi＜√N的数，留下√N~N-√N的“1+1”的答案。“1+1”的数量，其数量可以用容斥原理计算。

自从有了计算机，可能没有谁再愿意去打算盘。函数公式与计算机的巧妙配合一定会淘汰一些过时的数学方法。这是科学技术发展的必然结果。

找到"米"即可证明歌德巴赫猜想.可是因为初等简单,认可者少.

科学的证明方法应该是越简单越好，牛顿三定理、元素周期表就是典范。关键是证明方法是否可靠，经得起考验。利用函数公式与计算机进行证明，过程其实并不简单，只是将人工无法完成的复杂的计算部分交给计算机去完成。

回liuluojieys：虽然已经写成简稿，也准备向智慧火花投稿，但是为保护知识产权，暂时不会公开。但是肯定离不开计算机。

在数学机械化方面的贡献
中国传统数学强调构造性和算法化，注意解决科学实验和生产实践中提出的各类问题，往往把所得到的结论以各种原理的形式予以表述。吴文俊把中国传统数学的思想概括为机械化思想，指出它是贯穿于中国古代数学的精髓。吴列举大量事实说明，中国传统数学的机械化思想为近代数学的建立和发展做出了不可磨灭的贡献。1986年吴文俊第二次被邀请到国际数学家大会介绍这一发现。
20世纪70年代，吴文俊曾在计算机工厂劳动，切身体会到计算机的巨大威力，敏锐地觉察到计算机的极大发展潜力。他认为，计算机作为新的工具必将大范围地介入到数学研究中来，使数学家的聪明才智得到尽情发挥。由此得出结论，中国传统数学的机械化思想与现代计算机科学是相通的。计算机的飞速发展必将使中国传统数学的机械化思想得以发扬光大，机械化数学的发展必将为中国数学的发展做出巨大贡献。已故程民德院士认为：吴文俊倡导数学机械化，是从数学科学发展的战略高度提出的一种构想。数学机械化的实现，将对中国数学的振兴乃至复兴做出巨大贡献。吴文俊身体力行，在数学机械化的征途上奋勇攀登。在机器证明方面，他提出的用计算机证明几何定理的方法（国际上称为吴方法），遵循中国传统数学中几何代数化的思想，与通常基于逻辑的方法根本不同，首次实现了高效的几何定理自动证明，显现了无比的优越性。他的工作被称为自动推理领域的先驱性工作，并于1997年获得“Herbrand自动推理杰出成就奖”。在授奖辞中对他的工作给了这样的介绍与评价：“几何定理自动证明首先由赫伯特格兰特（HerbertGerlenter）于50年代开始研究。虽然得到一些有意义的结果，但在吴方法出现之前的20年里，这一领域进展甚微。”吴文俊的工作“不仅限于几何，他还给出了由开普勒定律推导牛顿定律，化学平衡问题与机器人问题的自动证明。他将几何定理证明从一个不太成功的领域变为最成功的领域之一。”在非线性方程组求解的方向上，他建立的吴消元法是求解代数方程组最完整的方法之一，是数学机械化研究的核心。80年代末，他将这一方法推广到偏微分代数方程组。他还给出了多元多项式组的零点结构定理，这是构造性代数几何的重要标志。
吴文俊特别重视数学机械化方法的应用，明确提出“数学机械化方法的成功应用，是数学机械化研究的生命线。”他不断开拓新的应用领域，如控制论、曲面拼接问题、机构设计、化学平衡问题、平面天体运行的中心构形等，还建立了解决全局优化问题的新方法。他的开拓性成果，导致了大量的后续性工作。吴消元法还被用于若干高科技领域，得到一系列国际领先的成果，包括曲面造型、机器人结构的位置分析、智能计算机辅助设计（CAD）、信息传输中的图像压缩等。数学机械化研究是由中国数学家开创的研究领域，并引起国外数学家的高度重视。吴方法传到国外后，一些著名学府和研究结构，如Ox-ford，INRIA，Cornell等，纷纷举办研讨会介绍和学习吴方法。国际自动推理杂志JAR与美国数学会的“现代数学”，破例全文转载吴文俊的两篇论文。美国人工智能协会前主席W.Bledsoe等人主动写信给中国主管科技的领导人，称赞“吴关于平面几何定理自动证明的工作是一流的。他独自使中国在该领域进入国际领先地位”。

时代在前行，大数据与计算机完成了那么多原来看似无法完成的工作，这是以前人们不可能想到的。如果我们总是抱着过去的东西不放，那就永远无法前进。同时可以说: 费马先生并没有用巧妙简单的方法最后解决了问题，他是错误估计了问题的难度，最后陷入象爱舍尔楼梯一类的陷阱中，从而不了了之。我就曾经有过此种感受。

如果一个公式、一个定理，长期看懂的人寥寥无几。那么这样的公式与定理有什么用，只能束之高阁。好的公式与定理一定会给人以茅塞顿开，耳目一新的感觉。也就是捅破窗户纸。俄罗斯数学家证明世界数学难题的论文，就是使用很小篇幅。那才是精华。

时代在前行，人们的思维也要与时俱进。过去人们将哥猜视为孤立的数学难题，现在看来哥猜一点也不孤立。哥猜与栾猜就是栾生亲兄弟，而且哥猜中的素数分布规律与黎曼函数的非平凡零点也有千丝万樓的联系。同样卡博兰猜想、费马大定理、比尔猜想及ABC猜想应该是紧密联系在一起的，它们都与自然数的幂相关。它们之中的任何一个被证明，都应该带动其他猜想得到证明。在这一点上，怀尔斯的证明显得有些奇怪。