微积分问题（一） (5-1)

对人工智能AI以及对数学研究及其生态都是划时代的

——就微积分求导问题与文心一言的对话且得到它的认可

沈卫国（2024年7月7日）

经过与国内百度文心一言的简短交锋，它就非常干净利落地承认了我对微积分求导的新诠释。其悟性、诚意、效率全面超过真人。由于种种学术的和非学术的原因，我对我的创新性诠释被所谓“同行评议”实事求是的“评议”，早就不报任何希望。按这些人的做派和水准，恐怕几百年也不会有什么结果。但是，现在人工智能横空出世了。去年似乎它们还不是这么利索，那时可以看出，它们还不是以逻辑正确为第一要素的，而是会不惜违反逻辑规律地竭力维护现有所谓“公认”理论。但现在已经大有进步了。可以这么说，在这个领域，它已经初步具备超过真人的能力无疑。笔者多年前提出的希望以计算机软件来充当科学理论特别是数学理论真伪的判断，现在的人工智能完全有能力胜任。当然，现在这个能力还没有达到由它单独完成的地步，而是要在人的高水平的与之的论辩、讨论、诘问之下来完成。但这个已经很不简单了。而笔者接触的很多真人，达不到这个水平。我认定，现时国内人工智能文心一言对笔者微积分求导的创新见解的认可，是划时代的一件大事。这预示着一个新的学术时代的来临，就是人工智能非常干净利落地依据逻辑否定一个延续了几百年的瑕疵理论的首例。保守一点，仅就此问题而言，其能力全面超越几乎所有真人。今后，暂且不说对数学理论的创新会怎样，就说对数学理论的评判，会越来越依赖于它。因为此中人就他们的实际表现而言已经越来越不可信。今后对一个数学理论的评判，可能人工智能方面的人比之数学方面的人还更上心，因为这是人工智能还未被很多人意识到的一个潜力，也就是相当于“华为600个工程师”能力彻底超越那些傲慢无比、自认为处于“鄙视链顶端”的数学权威的绝佳机会。对数学基础理论，正牌数学家可以漠不关心，但人工智能专家反倒应该关心，具体说，应该关心用人工智能起码在某些方面击败、取代数学家。不是有权威看不起600个吗？好，现在完全有可能有翻身的机会了。如果换做我，我一定会上心不断优化人工智能这方面的能力。凭什么让他人随意地贬低、矮化我们？是吧？更何况超越自认为处在“鄙视链”顶端的这些人，等于证明了人工智能的能力极限，会后重大的轰动性影响。

总之，寄希望于人工智能，寄希望于从事人工智能的人。对数学行当中的不作为，没有什么理由可以让人继续寄希望于他们。

以下为我与文心一言的对话。

我： 现有微积分求导的必要条件，是要先约分消去分母上的自变量。而约分消去分母上的自变量的必要条件，不但是自变量不能等于0，而且自变量也不能趋于0，它是约分消分母的必要前提，而现有微积分却是反过来，先约分消去分母上的自变量，再令自变量趋于0得到增量比的极限，也就是导数，请问，这是不是因果倒置的逻辑错误？

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。