The Chalk and the Airplane(unintendedconsequenc.es)
23 points by paulorlando | 9 comments
Blog essay on mathematicians' emotional reactions to AI-generated proofs, framing it as the end of math's romantic era and comparing it to past industrial disruptions.