Tyler Cowen pointed me to an article on automated theorem proving. Namely, a computer “has solved the longstanding Erdős discrepancy problem!” This would not be such a big deal, except the 13 gigabyte proof is too complicated for anyone to understand. So, of course, the Boeotians are in rare form as the clack of keyboards … Continue reading Proofs In Math: What’s The Point?