📁 泰伦斯·陶，菲尔兹奖得主，表示 AI 已经能够生成许多数学证明。 真正的瓶颈在于验证。 创造想法变得便宜。 知道哪些想法是真正正确的仍然需要人类的工作。