3. OpenAI resuelve conjetura Erdos

Este es el episodio 3 del podcast Dando la DATA de @thedatawarlock, publicado el 21 de mayo de 2026. Puedes dejar comentarios de texto y audio en este enlace. Un día más te traigo cosas relevantes en el sector de la inteligencia artificial que realmente tienes que escuchar y que no son palabras vagas o cosas que no te van a servir en tu día a día. Hoy un avance brutal en mi campo, en las matemáticas, porque OpenAI ha confirmado que un modelo generalista y no especializado en demostrar problemas matemáticos ha conseguido resolver una de las conjeturas más famosas de Erdos, que lleva 80 años sin resolverse. Pues realmente lo que ha pasado es que un modelo generalista, insisto porque este punto es importante, es decir, no está centrado en resolver problemas matemáticos como otros que tiene DeepMind, como el AlphaProof, ha refutado esta conjetura, es decir, ha dicho que no es cierta. La verdad, para mí un avance histórico porque empieza a expandir muchísimo lo que pueden llegar a conseguir estos modelos.