AI证明数学定理

当AI开始证明数学定理：数学家们的集体焦虑与职业危机 一个困扰数学家三十年的证明难题，被AI系统在72小时内攻破了。这不是科幻小说，而是2025年真实发生的事情。当证明过程被发表在《数学年刊》上时，署...