数学家与AGI协作：未来3-5年仍需人类验证，但长期可能被取代

FleischmanMena · x · 2026-07-22

FleischmanMena回复@zetalyrae：即使模型接管证明，未来3-5年内仍需要人类盖章确认“操作者不是庸医且证明如所述”。随着模型改进，这种需求不太可能很快消失。原帖认为数学家“与AGI协作共同发现数学”的想法没有认真对待AGI。