自己按我说的做一遍，还信陶哲轩吗？
不是说程序员用了copilot，AI就有推理能力了。谁都知道那是个啥玩意儿。

【 在 lvsoft 的大作中提到: 】
: 笑死人？
: 看看陶哲轩怎么说：
: The 2023-level AI can already generate suggestive hints and promising leads to a working mathematician and participate actively in the decision-making process. When integrated with tools such as formal proof verifiers, internet search, and symbolic math packages, I expect, say, 2026-level AI, when used properly, will be a trustworthy co-author in mathematical research, and in many other fields as well.
: ...................
--
FROM 183.159.182.*