还不赶快来体验！！！

        虽说计算机证明数学猜想的方法，早已被应用。

        <r/>

        除了弱哥德巴赫猜想的证明，还有被米国数学家阿佩尔与哈肯，借助计算机完成证明的四色猜想。

        <r/>

        但是，数学家虽然借助计算机证明了四色猜想。

        <r/>

        可直到今日，人工证明都还未出现。

        <r/>

        身为一名骄傲的数学家，陈舟显然不愿意这样不完美的证明，出现在自己的手里。

        内容未完，下一页继续阅读