Coffee Break: Señal y Ruido cover image

Ep542_B: Emergencia en la ISS; Artemisa; IA en Matemáticas; Burbujas; Distracción

Coffee Break: Señal y Ruido

00:00

Protocolo: ChatGPT → Aristóteles → Lean

Se describe el flujo de trabajo que convierte pruebas en lenguaje humano a código verificado en Lean.

Play episode from 24:38
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app