Una Inteligencia Artificial refuta cinco conjeturas matemáticas sin ayuda humana. Hasta ahora, los matemáticos pensaban que estas afirmaciones eran ciertas, porque no habían podido demostrar que fueran falsas.
Para obtener este resultado, Adam Zsolt Wagner, investigador especializado en aprendizaje automático, ha utilizado un algoritmo de aprendizaje automático. El objetivo, que buscara ejemplos que refutaran algunas conjeturas de la teoría de grafos. El programa que ha desarrollado es similar al del famoso AlphaZero de Deepmind. Este programa alcanzó un nivel de ajedrez sobre humano, sin ningún entrenamiento previo.
IA refuta cinco conjeturas de la teoría de los grafos
Entre las conjeturas desmontadas se encuentran una pregunta de los matemáticos Brualdi y Cao sobre la maximización de permanentes de patrones y varios problemas relacionados con los valores propios de adyacencia y distancia de los gráficos. El matemático Timothy Gowers, director de investigación en Cambridge, aseguró en una red social que el programa de Wagner puede resultar de gran ayuda para los investigadores matemáticos, ya que les permite comprobar sus conjeturas, de manera sencilla, antes de seguir adelante en sus formulaciones y cálculos.
