AI写论文早已不是新闻，科研AI已经深入研究的台前幕后，轻松攻克四十年的数学猜想。