Feliz tercer cumpleaños para mí, intentando escribir pruebas de Coq con GPT-3.5 Turbo y fallando, y pensando: "Sí, esto no va a ninguna parte".
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.