将来は数学者の証明の三分の一をAIがやるとかになるのか?

人工知能「東ロボくん」、自動求解により東大模試数学で偏差値76.2を記録
http://www.itmedia.co.jp/enterprise/articles/1611/15/news063.html