美国数学家阿佩尔与哈肯利用电子计算机进行了大量的判断，最终证明了四色定理。（
举一反三
- 世界近代三大数学猜想是费马猜想、四色猜想和哥德巴赫猜想。费马猜想的证明于1994年由英国数学家安德鲁·怀尔斯完成，且得到了数学界的认可;四色猜想的证明于1976年由美国数学家阿佩尔与哈肯借助计算机完成，但1981年数学家施密特发现了其中的错误;哥德巴赫猜想尚未解决，目前最好的成果——陈氏定理，乃1966年由中国数学家陈景润取得。由此可知()。 A: 哥德巴赫猜想比费马猜想和四色猜想更难证明 B: 中国数学家在世界近代三大数学猜想的证明工作中成就最高 C: 哥德巴赫猜想和四色猜想尚待严格证明 D: 世界近代三大数学猜想的证明一定都能完成，只是时间问题
- 四色猜想成为四色定理，是（）最终解决了困扰了100多年的数学问题。 A: 弗南希斯 B: 凯利 C: 哈密尔顿 D: 阿佩尔
- 以下事件中,( )不是曾引起轰动的人工智能领域标志性事件。 A: “深蓝”在国际象棋中击败棋王卡斯帕罗夫 B: 阿佩尔和哈肯利用计算机证明四色定理 C: 天河二号成为全球最快超级计算机 D: 谷歌无人驾驶汽车2014年首次通过自动驾驶测试
- 用计算机进行数学中的定理证明属于科学计算应用领域。()
- 四色定理的机器证明被所有数学家们认可。