Mathematicians and AGI Collaboration: Human Verification Needed for 3-5 Years, but Long-Term Replacement Possible
FleischmanMena · x · 2026-07-22
FleischmanMena replies to @zetalyrae: Even if models take over proving, there's a need for a human stamp of "the operator was not a quack and the proof is what was claimed" for the next 3-5 years. The original post argues that mathematicians who think they will "collaborate" with AGI are not taking AGI seriously.
Related event: Scholars Debate AGI's Impact on Math and Human Collaboration(4 posts)→