0020132人目の素数さん垢版 | 大砲2018/10/20(土) 17:22:04.22ID:h10IMytx 将来は数学者の証明の三分の一をAIがやるとかになるのか? 人工知能「東ロボくん」、自動求解により東大模試数学で偏差値76.2を記録 http://www.itmedia.co.jp/enterprise/articles/1611/15/news063.html