#formal-verification

人工智能正在重塑数学家如何发现证明和探索猜想，这被专家称为该领域历史上最大的转变。

人工智能获得数学能力的速度比预期快得多，从根本上改变了成为数学家的含义。