AI能不能证明世界数学难题,比如雅可比猜想?

来源: 2025-09-29 19:53:27 [旧帖] [给我悄悄话] 本文已被阅读:

至少,AI能不能证明张益唐关于雅可比猜想的证明是错误的?

或者,AI能不能证明莫宗坚关于雅可比猜想的证明是错误的?

我们假设这两个里面至少有一个是错误的。