想用Astra解决一个人类目前未解决的数学题，题目该从哪里去找 
我记得之前有佬发过一个帖子，帖子上有个网站，里面全都是人类还没有解决的数学题或猜想 
有佬能说一下是哪个网站吗 
emm，如果AI真的证明出来了，AI的证明论文，该怎么提交给数学院或者提交给数学家审核呀