用AI做数学

配ai的记录

数学文献的版权问题

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