首先要弄清楚有没有人或机构通过AI的手段来研究哥猜。
如果都没人做这个事情，那多少时间都是没法证明的。
第二点就是你如何定义用AI来证明命题，
用计算机的算力来解决算吗，比如枚举？
奇数的哥猜理论上已经证明了充分大的时候是成立的，
那这个上界以下的数字，用计算机暴力求解算吗？
虽然这个量级太大了，实际上可能无法完成。

【 在 wanzhu (分特了/郁闷的猴子) 的大作中提到: 】
: 那我可以理解为，AI学习了几十年了，也没能证明哥德巴赫猜想吗？
--
FROM 54.222.61.*