La unidad de inteligencia artificial de Google, Deepmind, ha demostrado dos nuevos sistemas de IA, AlphaProof y AlphaGeometry 2, que pueden resolver con éxito problemas matemáticos complejos, lo que representa un hito significativo en el desarrollo de la IA, informa Reuters. Los modelos de IA actuales funcionan al ser capaces de reconocer patrones y predecir estadísticamente, por ejemplo, la siguiente palabra que debe generarse. Sin embargo, esto no es suficiente para manejar matemáticas abstractas, que en cambio requieren un sistema que pueda razonar de una manera que se asemeje más a la inteligencia humana. AlpaProof y AlphaGeometry 2 lograron resolver cuatro de las seis preguntas en la edición de este año de la Olimpiada Internacional de Matemáticas (OIM). Una pregunta se resolvió en solo unos minutos; otras tardaron hasta tres días en resolverse, que es más tiempo del que permite la competencia. AlpaProof también logró resolver el problema más difícil de la competencia, que solo cinco de los 600 participantes humanos lograron resolver.