Los sistemas de inteligencia artificial de Google DeepMind ahora pueden resolver problemas matemáticos complejos

1. Google DeepMind ha desarrollado dos sistemas de IA, AlphaProof y AlphaGeometry 2, que pueden resolver problemas matemáticos complejos que implican razonamiento avanzado. 2. Estos sistemas trabajaron juntos para resolver cuatro de los seis problemas del Concurso Internacional de Matemáticas (CIM), ganando una medalla de plata. 3. Esta es la primera vez que cualquier sistema de IA ha logrado tal éxito en este tipo de problemas. 4. Los problemas matemáticos que implican razonamiento avanzado son difíciles para los sistemas de IA porque requieren formar y basarse en abstracciones, planificación jerárquica compleja y establecer metas intermedias. 5. AlphaProof es un sistema basado en aprendizaje por refuerzo que se entrena a sí mismo para probar declaraciones matemáticas en el lenguaje de programación formal Lean. 6. Gemini AI está afinado para traducir automáticamente problemas matemáticos del lenguaje natural a declaraciones formales, creando una gran biblioteca de problemas matemáticos formales. 7. Automatizar este proceso es un gran avance para la comunidad matemática, lo que permite una mayor confianza en la corrección de los resultados publicados y un trabajo más colaborativo. 8. AlphaGeometry 2 se optimizó para abordar problemas de geometría y se entrenó con significativamente más datos sintéticos que su predecesor. 9. Dos matemáticos renombrados revisaron las presentaciones de los sistemas y les otorgaron un total de 28 puntos de un máximo de 42, lo que le valdría a un participante humano una medalla de plata. 10. Crear sistemas de IA que puedan resolver problemas matemáticos más desafiantes podría allanar el camino para emocionantes colaboraciones humanas-IA y ayudarnos a aprender más sobre cómo los humanos abordan las matemáticas.