四色定理的机器证明被所有数学家们认可。

牛顿花费20年的时间思考归纳出的行星运动三定律。

判断题牛顿花费20年的时间思考归纳出的行星运动三定律。

400年前开普勒发明的微积分。

判断题400年前开普勒发明的微积分。

20世纪初爱因斯坦创立的狭义相对论与广义相对论。

判断题20世纪初爱因斯坦创立的狭义相对论与广义相对论。