Why AI-generated math findings feel profane

andy_matuschak · x · 2026-08-22

Andy Matuschak explores why the flood of low-effort AI-generated math findings feels profane, contrasting it with AI in chess and human music performance. Citing Kirwin Hampshire, he argues that the process of mathematical discovery is vital to its spiritual quality. AI risks excising the story of human discovery from the discipline, making the process of prompting novel proofs as 'auraless' as ordering food.

Original post →

More from AGI Musings

AGI Musings channel →