Israel GómezEn un avance significativo, la empresa DeepMind, propiedad de Google, ha desarrollado la herramienta de inteligencia artificial (IA) AlphaGeometry, capaz de resolver 25 de 30 problemas de geometría de nivel preuniversitario, aproximándose al desempeño de un competidor olímpico de matemáticas. La máquina logró aprender y resolver problemas complejos sin intervención humana directa, incluso descubriendo una versión generalizada de un teorema de la Olimpiada Internacional de Matemáticas de 2004.
Aunque este logro destaca en el ámbito de la investigación de la IA, la comunidad matemática no considera que la tecnología haya alcanzado aún los niveles de razonamiento, abstracción y creatividad humanos. La geometría es solo una disciplina en la Olimpiada Internacional de Matemáticas (IMO), y se señala que otras áreas, como la teoría de números, la combinatoria y el álgebra, presentan desafíos mayores para las computadoras, ya que requieren capacidades específicas que solo poseen los seres humanos.
Trieu Trinh, experto en machine learning de DeepMind, explica que la creación de AlphaGeometry involucró extraer 100 millones de teoremas sintéticos y sus demostraciones, con el enfoque en la geometría plana euclidiana. Aunque los resultados son alentadores, se reconoce que la IA a veces produce soluciones absurdas. Además, se destaca la importancia de entrenar la IA con pruebas generadas por máquinas en lugar de datos preexistentes en Internet.
La IA AlphaGeometry ha demostrado su capacidad resolviendo problemas matemáticos a un nivel comparable con un competidor olímpico de alto rendimiento. Sin embargo, expertos opinan que aún queda un largo camino para que las máquinas interactúen de manera autónoma con las matemáticas modernas a nivel de investigación. En este contexto, se ha lanzado la primera Olimpiada Internacional de Matemáticas de Inteligencia Artificial, que otorgará un premio de 5 millones de dólares al primer modelo de IA que participe y se desempeñe con un estándar equivalente a una medalla de oro en la IMO. Aunque el objetivo de superar la capacidad humana sigue siendo una meta lejana, los avances actuales son considerados pasos significativos en la evolución de la IA en el ámbito matemático.