Si esta es tu primera visita asegúrate de revisar las FAQ en el enlace anterior. En necesario registrase
antes de poder publicar. Para empezar a ver mensajes, selecciona el foro que quieres visitar de la lista inferior.
Un error en el núcleo de Lean aprovechado por una IA para refutar la conjetura de Collatz
Las IA generativas encuentran errores de código (bugs) donde nadie los espera. Incluso en el núcleo de Lean (el verificador automático de demostraciones matemáticas más famoso). El 25 de julio […]
Tweet
