单项选择题 在数据科学中，AI是（）的英文简称。

判断题 在同一台计算机上，问题规模越大，插入排序优势将会更明显。

判断题 计算效率最大化是指我们需要寻找有效的算法来合理利用资源，让问题的计算时间最短。

判断题 算法为了求解可计算问题，是任何定义好的计算过程。

判断题 罗素悖论产生第3次数学危机。

判断题 2019年9月，根据世界最权威的TOP500超级计算机排名，第一名是美国的Summit超级计算机。

判断题 哥德尔不完备定理说明在任何一个数学系统肯定能找到一个命题，即无办法证明它，也无办法推翻。

单项选择题 无理数产生于第（）次数学危机。

单项选择题 1936年，英国图灵提出了一种理想的计算机器的数学模型，被称为（）。

单项选择题 截止2017年9月，世界最权威的超级计算机排名第一名是（）。

单项选择题 下面哪个悖论产生第三次数学危机？（）

单项选择题 在世界数学史上，共发生了（）次数学危机。

单项选择题 计算机科学领域内最大的奖项是（）。

单项选择题 根据美国克雷数学研究所制定的规则，任何一个千禧年猜想的解答，只要发表在数学期刊上，并经过（）年的验证期，解决者就会被颁发一百万美元。