人工知能は数学者になれるか？ [無断転載禁止]©2ch.net

[0006 １３２人目の素数さん 2016/03/12(土) 21:56:40.44 ID:Nh1PmJUR]

囲碁板から来たなｗ

【Coq】コンピューターで証明しよう【コック】(c)2ch.net
http://wc2014.2ch.net/test/read.cgi/math/1421944863/

↑
こういうスレもあるぞ。色々論議されている。
ディープランニングで今後これがどう変化するだろうな。