6名往届高考状元1分险胜智能机器人

shimang2440

6月7日下午，一场往届高考理科状元挑战智能机器人的人机大战打响。在激烈的比拼后，数学特级教师、奥赛教练韩兆勇宣布，Aidam的成绩为134分，6名状元的平均分为135分。
idam今日答题速度不快，用时9分47秒结束答题，6名高考状元在高考数学考试结束后，拿到试题，答题用时55分钟交卷。

1994

断网断库没？否则算打小抄作弊吧。

一往无前

真能挑时机蹭热点，偶来给泼点冷水。
计算题，那是计算机的天然强项，不需要什么人工智能技术的。
至于证明题，当然需要人工智能，但也早已有了很多成熟研究和成果支撑，从理论方面，离散数学”数理逻辑“就是专门为研究这个准备的：命题，命题逻辑，命题推理，范式，谓词逻辑，谓词推理，自然语句形式化，推理演算，谓词逻辑的归纳推理。。。至实际应用：机器推理，机器证明。这些都是经典老技术，好多年的东西了。和前一阵那个围棋AlphaGo相比，应该是实现难度小多了，技术含量不足。AlphaGo用到的关键技术”深度学习、强化学习和卷积神经网络“等等是近些年才突破的。是学术前沿。
学术界还是少作秀。当然科普层面可以需要适当作些秀,造点势。

wdpybtx

人工智能看来越来越牛