Utilisation intéressante des modèles LLM : Préparation pour la Conférence Peter Carr à Winterthur (ZHAU) : ChatGPT m'explique MES PROPRES dérivations et preuves d'il y a 10 ans sans solliciter ma mémoire & pourquoi >> Bonferoni. Fournit également des vérifications, comme un arbitre légèrement idiot.