一句话评论（二零二）AI数学显然不可能取代人类数学家（虽然会改变研究方式），不知