Un avance histórico en la inteligencia artificial ha sido anunciado por DeepMind, la división de IA de Google, que ha desarrollado AlphaProof, un sistema capaz de resolver problemas matemáticos complejos al nivel de medalla de plata en la Olimpiada Internacional de Matemáticas (IMO) para estudiantes de secundaria.
AlphaProof resolvió cuatro de seis problemas planteados en la competencia, incluyendo tres de álgebra y teoría de números. Adicionalmente, otro agente de DeepMind, AlphaGeometry, solucionó un desafío geométrico, complementando el rendimiento de la IA.
La diferencia clave respecto a sistemas previos radica en el método innovador denominado TTRL (aprendizaje por refuerzo en tiempo de prueba), que permite generar variantes de los problemas para adaptar el aprendizaje a cada caso y verificar formalmente cada paso en el proceso de resolución.
Pese a estos avances, los investigadores reconocen que AlphaProof aún posee limitaciones importantes. El entrenamiento requiere una enorme potencia computacional y varios días por problema, a diferencia del tiempo más restringido de los competidores humanos.
Además, la IA actualmente no puede abordar problemas de matemáticas abiertas que demandan creatividad y formulación de nuevos conceptos, competencias propias de la mente humana.
El profesor Ramón López de Mántaras, pionero en IA en España, valora el resultado como “excelente” y destaca que la tecnología abre herramientas para asistir a matemáticos humanos, más que sustituirlos.
Marta Macho-Stadler, matemática de la Universidad del País Vasco, complementa que es probable que en poco tiempo mejoren las capacidades de estos sistemas, en velocidad y complejidad de problemas resueltos.
Este logro no solo evidencia la evolución de la IA en el ámbito del razonamiento lógico-formal, sino que también plantea nuevos debates sobre el rol complementario que estas tecnologías tendrán en la investigación matemática y científica.
Con la igualdad, el “Xeneize” alcanzó su sexto partido consecutivo sin derrotas, aunque solo ganó dos de ellos, ubicándose en el sexto puesto de la zona A.
Desde la llegada de Eduardo Coudet como director técnico, el “Millonario” mantiene el puntaje perfecto.
El jefe de Gabinete aseguró, además, que fue “inapropiado” utilizar la palabra “deslomarse” para referirse a su trabajo en Nueva York acompañando al presidente.
En medio de la ofensiva en Oriente Medio, el Departamento de Estado pone precio a la cabeza de Mojtaba Jamenei y otros jefes de la Guardia Revolucionaria.
El cese de tareas afecta a las principales casas de altos estudios, desde la UBA hasta la UTN. Los gremios reclaman un aumento del 55,4% para compensar la inflación.
El ajuste se realizará en los pasajes de las líneas de jurisdicción nacional, que unen a los partidos de la provincia de Buenos Aires con CABA.
Expertos del Hospital Italiano advierten que juzgar el peso retrasa el tratamiento de una enfermedad que ya afecta a 2 de cada 3 adultos en el país.
Héctor Straub permanecía prófugo desde el año pasado. La División Homicidios de la PFA logró dar con su paradero tras rastrear sus vínculos sentimentales.
