math

an archive of posts with this tag

Dec 18, 2025	AI is turning us into proof-checkers, not proof-writers.