Uso interessante de modelos LLM: Preparando-me para a Conferência Peter Carr em Winterthur (ZHAU): ChatGPT explica-me as MINHAS próprias derivações e provas de há 10 anos sem forçar a minha memória & porque >> Bonferoni. Também fornece verificações, como um árbitro ligeiramente burro.