-
04-09 01:00...即使目前的计算机也难以像人类一样进行数学推理和定理证明。神经网络可以用于搜索定理、猜测新定理和寻找反例,如发现了拓扑学中关于结点和边的关系的新定理,以及在表示论中发现了关于Kazhdan-Lusztig多项式的新结果,但对于证明深奥复杂的定理还有局限性。自动定理证明系统(ATP)可以自动证明一些复杂的定理,如罗宾斯猜想... 2
-
03-25 19:20...”直到1993年,当时在美国普林斯顿大学的安德鲁·怀尔斯才宣布自己的证明,轰动了数学界。这份长达100多页的证明包含了如此高级的数学知识,以至于他的数学同仁花了两年多才验证它没有任何错误。许多数学家希望,通过将证明翻译成计算机可读的语言,以加快检验和最终写出证明的速度。这种形式化的过程可以让计算机立即发现逻辑错误,并有... 1
-
08-17 18:40...33所计算机类基础学科拔尖学生培养基地建设高校为首批改革试点;第二步,在总结成效和经验的基础上,在全国高校分类分步进行推广。通过国内外专家评估,工作组选择了12门核心课程,每门课程分别组建一个由一所学校牵头、10所到15所学校参与的课程建设团队。在这个方案中,北京大学负责其中的3门课程,清华大学负责两门课程,北京航空航... 0
-
-
-
本页Url:
-
2024-04-30-12:42 GMT . 添加到桌面浏览更方便.
-