笑死人？
看看陶哲轩怎么说：

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.

【 在 hany2017 的大作中提到: 】
: 没有推理能力的
: 你出一道题用柯西不等式解，能笑死人。
: 无论是3.5还是4.0
--
FROM 121.225.138.*