借助自动化证明检查器，一个难题可以被分解成小块，逐块解决，然后重新组合，并确信每一部分都是正确的。对一些人而言，这预示着数学研究的一个新领域。
#人工智能##微博知识+##上微博涨知识# http://t.cn/AXarSzeg
发布于 北京
返朴
借助自动化证明检查器，一个难题可以被分解成小块，逐块解决，然后重新组合，并确信每一部分都是正确的。对一些人而言，这预示着数学研究的一个新领域。
#人工智能##微博知识+##上微博涨知识# http://t.cn/AXarSzeg