#用AI做数学

配ai的记录

数学文献的版权问题

怎么用AI做研究?
形而上:查文献,找文献,大量尝试
形而下:各类工具。