计算机辅助证明-人工智能PPT

计算机辅助证明计算机的介入改变了数学研究的方法，扩展了数学研究的领域，促进了计算数学的发展。尤其是运算量极其庞大的数学问题，大多数情况只能借助计算机来解决。例如，四色问题、E8结构(2007年)、费克特(Fekete,2008年)问题、开普勒(Kepler,1998年)猜想、埃尔德什差异问题(the Erdos Discrepancy Problem，2014年得解)等著名数学难题，都是借助计算机来破解的。