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

IA aplicadas a demostraciones matemáticas

Francis explica cómo ChatGPT y herramientas formales comenzaron a resolver problemas de Erdős.

Play episode from 19:16
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