这是早期AI的一个方向，几十年前就有了

【 在 wanzhu 的大作中提到: 】
: 一点不懂AI，突然奇想哈。
: 能不能让AI来证明数学难题啊，比如哥德巴赫猜想之类的。
--
FROM 116.6.100.*