我国的著名数学家（）在机器证明数学问题上进行了卓有成效的工作。
我国的著名数学家（）在机器证明数学问题上进行了卓有成效的工作。
相关考题：
几乎所有的数学家都是这样：他们能够识别正确的证明以及不正确证明的无效之处，尽管他们无法定义一个证明的准确意义。由此，可以推知以下哪项一定为真？A. 能识别正确证明和不正确证明的人可能无法定义证明的准确意义B. 有的数学家不能识别不正确证明的无效之处C. 数学家都不能定义一个证明的准确意义D. 有的数学家不识别正确的证明，但能识别不正确的证明
世界近代三大数学猜想是费马猜想、四色猜想和哥德巴赫猜想。费马猜想的证明于1994年英国数学家安德鲁·怀尔斯完成，且得到了数学界的认可；四色猜想的证明于1976年由美国数学家阿佩尔与哈肯借助计算机完成，但1981年数学家施密特发现了其中的错误;哥德巴赫猜想尚未解决，目前最好的成果—陈氏定理，乃1966年由中国数学家陈景润取得。由此可知（ ）。A.哥德巴赫猜想比费马猜想和四色猜想更难证明B.中国数学家在世界近代三大数学猜想的证明工作中成就最高C.哥德巴赫猜想和四色猜想尚待严格证明D.世界近代三大数学猜想的证明一定都能完成，只是时间问题
单选题十八世纪一位德国数学家在写给著名数学家欧拉的一封信中，提出了一个猜想。该猜想可以表述为：（一）任何不小千6的偶数，都是两个奇素数之和；（二）任何不小于9的奇数，都是三个奇素数之和。我国著名数学家陈景润在证明这一猜想中做出了重大贡献，这个猜想是（ ）。A莫德尔猜想B哥德巴赫猜想C康威——诺顿猜想D四色猜想
填空题古代数学家（）注释过《周髀算经》，此《周髀算经》注中对勾股定理进行了一般表述，并作了构造性证明，这也是中国数学家对此定理的数学证明。