Debate: Is it OK if the Frontier of Math Becomes Incomprehensible?

littmath · x · 2026-08-20

Responding to a claim that the math frontier will become ungraspable by humans, littmath noted it's trivial to generate correct but incomprehensible math via ZFC enumeration and asked to differentiate this from AI-generated math. Justin argued that as long as it yields helpful technologies, knowing math through its application rather than intrinsic aesthetics is acceptable.

Related event: Debate: Can Math Frontier Beyond Human Understanding Be Acceptable(2 posts)→

Original post →

More from AGI Musings

AGI Musings channel →