A misalignment of AI in mathematics

	A misalignment of AI in mathematics(mathandai.org)
	1223 points by meredydd 46 days ago \| 1201 comments
	tl;dr: Summary not available
	HN Discussion: ↓Optimistic that AI proofs will spark community engagement like Mochizuki's abc conjecture ↑AI companies' narrative is damaging students, researchers, and knowledge transfer culture ~AI has only destroyed the yardstick for measuring understanding, not understanding itself ↓Comparable to historical panics like Baudelaire on photography or 90s chess fears; will ultimately benefit the field ↓Academic mathematicians are too inwardly focused; author misjudges math's real purpose