La IA refutó cinco conjeturas matemáticas sin ayuda humana

Mediante Matthew sparkes

Una inteligencia artificial ha refutado cinco conjeturas matemáticas, aunque no tiene información sobre los problemas.

Adam Zsolt Wagner, de la Universidad de Tel Aviv, utilizó un enfoque de inteligencia artificial para buscar ejemplos que refutarían una serie de conjeturas de larga data en la teoría de grafos, un área de las matemáticas que involucra el estudio de; objetos compuestos por nodos y enlaces. Los matemáticos creían que estas conjeturas eran ciertas, pero no habían podido probarlas.

Para cada conjetura, Wagner creó una medida de la proximidad de un ejemplo para refutarlo. Por ejemplo, si una conjetura propone que un determinado problema podría ...