自动数学发现，抢夺功劳仍属人类。

我们实现了数学发现的自动化。关于功劳的争夺仍然完全属于人类。