Las inteligencias artificiales están firmemente instaladas en nuestra sociedad y año tras año van consiguiendo pequeñas hazañas que antes parecían impensables para una máquina: reconocen nuestra voz, invierten en bolsa y hasta pintan cuadros con una audacia que podríamos llamar creativa. La temporada pasada contamos cómo una inteligencia artificial de Google logró resolver el problema del plegado de las proteínas (episodios s08e16 y s10e17), y hace unos años el mismo equipo creó el primer programa informático capaz de ganar a un campeón de go (episodio s05e27). Ahora los chicos de DeepMind presentan la primera inteligencia artificial que ha participado en la demostración de un teorema matemático. Básicamente, su función ha sido encontrar patrones que los humanos no habían sido capaces de identificar, y con ellos un equipo de matemáticos ha demostrado dos resultados en teoría de nudos y teoría de la representación. Hoy os contamos este nuevo hito con la ayuda de Carlos Santana, ingeniero informático y creador del canal de Youtube DotCSV, dedicado a la divulgación de la inteligencia artificial. Si queréis aprender más sobre estos temas no os perdáis el canal de Carlos, que podéis encontrar aquí: https://www.youtube.com/c/DotCSV Y si queréis leer el artículo de Nature de la gente de DeepMind, es "Advancing mathematics by guiding human intuition with AI", Alex Davies et al. Es de libre acceso y lo podéis encontrar aquí: https://www.nature.com/articles/s41586-021-04086-x Otro episodio de La Brújula en el que hablamos sobre inteligencias artificiales es el s08e32, en el que os contamos cómo es el proceso de "identificar un concepto" para una IA. Este programa se emitió originalmente el 10 de diciembre de 2021. Podéis escuchar el resto de audios de La Brújula en la app de Onda Cero y en su web, ondacero.es