La inteligencia artificial refutó una célebre conjetura de Paul Erdos y logró un avance histórico en matemáticas.