Interessant bruk av LLM-modeller: Forberedelse til Peter Carr-konferansen i Winterthur (ZHAU): ChatGPT forklarer meg MINE EGNE avledninger og bevis for 10 år siden uten å anstrenge hukommelsen min og hvorfor >> Bonferoni. Gir også verifikasjoner, som en litt dum dommer.