分类：教育/科学-理工学科-数学
问题：计算机会不会证明数学定理? 
回答：呵，以前的电脑都可以证明好多的数学猜想，当然可以证明数学定理啦
。
现在通过JAVA，C++，C#编程，绝大一部分的数学定理都是可以被证明出来的。
不过听说1+1=2这个定理到现在也还没证明出来。