OpenAI publicó 722 manuscritos de matemáticas. ¿Están comprobados?

OpenAI publicó 722 manuscritos de matemáticas , agrupados en 372 familias y producidos por un modelo interno que todavía no está disponible. El número impresiona. Pero hay una pregunta más importante: ¿cuánto de todo esto está realmente comprobado? En este episodio de La Señal separamos tres conceptos que no significan lo mismo: Publicado ≠ Formalizado ≠ Validado También revisamos qué papel juega Lean, por qué OpenAI no resolvió la hipótesis de Riemann , qué sabemos —y qué todavía no— sobre la validación independiente de estos trabajos. Además, en el radar de hoy: • Claude llega a Google Docs, Sheets y Slides. • Google lanza Nano Banana 2.1. • Mistral presenta Mistral Large 4. La idea para llevarte hoy: cada afirmación debe quedarse en el nivel que alcanzó. Publicada es publicada. Formalizada es formalizada. Validada es validada cuando existe revisión independiente que la sostenga. 🎙️ La Señal · IA para tu Día Actualidad de inteligencia artificial, con contexto y sin hype.