反过来说，数学天才的想法可以快速被ai验证，不等于变相推动数学发展了吗？核心想法人类提出猜想，验证干活苦力ai干

还得是正规市场啊。。。。牛长熊短