Elon Musk Elogia Grok 4.5 por Refutar uma Hipótese de Teoria dos Grafos de 30 Anos em 8 Minutos; GPT-5 Também Resolveu

Elon Musk, CEO da xAI, elogiou o modelo Grok 4.5 por refutar uma hipótese de teoria dos grafos que permanecia sem solução há 30 anos, concluindo a tarefa em apenas 8 minutos. Musk também mencionou que o modelo GPT-5 da OpenAI resolveu o mesmo problema de forma independente. A conquista destaca as capacidades cada vez maiores de modelos avançados de inteligência artificial no raciocínio matemático e na resolução de problemas. Nenhum detalhe adicional sobre a hipótese ou o processo de verificação foi fornecido.