El agente autónomo de IA de Google DeepMind ha resuelto 9 de 353 problemas abiertos del legendario conjunto de problemas de Erdős, una colección de desafíos de combinatoria y teoría de números que han desconcertado a los matemáticos durante décadas. Dos de los nueve habían permanecido sin resolver durante 56 años, colocándolos firmemente en la categoría de problemas que el campo había aceptado en gran medida como intratables para investigadores humanos que trabajan solos.
El resultado es significativo no solo para las matemáticas, sino también para cómo la comunidad investigadora más amplia debería pensar sobre el papel de la IA en el razonamiento formal. Los problemas de Erdős no son cálculos mecánicos: requieren saltos creativos, formación de conjeturas y construcción de pruebas. Un agente autónomo que navega por ese espacio sin la ayuda de humanos representa un avance cualitativo más allá de los puntos de referencia matemáticos previos de la IA.
WuBlockchain
CoinDesk
Altcoin Daily