DiscussioniLetter to Rozumot: Two (or More) MathematicsesAbstract This letter explores the philosophical consequences of AI-assisted theorem… Leggi tuttoLetter to Rozumot: Two (or More) MathematicsesSimone SeveriniLuglio 29, 2026