Elon Musk elogia a Grok 4.5 por refutar una hipótesis de teoría de grafos de 30 años en 8 minutos; GPT-5 también la resolvió

Elon Musk, director ejecutivo de xAI, elogió al modelo Grok 4.5 por refutar una hipótesis de teoría de grafos que había permanecido sin resolver durante 30 años, completando la tarea en solo 8 minutos, según se informa. Musk también mencionó que el modelo GPT-5 de OpenAI resolvió el mismo problema de forma independiente. Este logro subraya las capacidades cada vez mayores de los modelos avanzados de inteligencia artificial en el razonamiento matemático y la resolución de problemas. No se proporcionaron más detalles sobre la hipótesis ni el proceso de verificación.