Una IA china ha resuelto en solo 80 horas un problema matemático abierto desde 2014. Lo ha hecho combinando razonamiento propio y verificación automática sin intervención humana directa

Wait 5 sec.

Un sistema de doble agente desarrollado por investigadores chinos ha logrado resolver y validar una conjetura matemática en apenas 80 horas. El modelo no solo propone soluciones, sino que las verifica de forma rigurosa, marcando un cambio en cómo la inteligencia artificial empieza a participar en el descubrimiento científico.