Grok 4.5 Ajudou a Refutar uma Hipótese Matemática Não Resolvida Há Cerca de 30 Anos
xAI
O modelo Grok 4.5 da xAI ajudou a refutar uma hipótese matemática de longa data que permanecia sem solução há cerca de três décadas. A colaboração destaca a utilidade da inteligência artificial avançada na pesquisa matemática.
De acordo com um relatório, o Grok 4.5, um modelo desenvolvido pela xAI, desempenhou um papel na refutação de uma hipótese matemática que permanecia sem solução há aproximadamente 30 anos. A conquista ressalta o potencial da inteligência artificial (IA) em auxiliar em problemas matemáticos complexos, marcando um marco notável na interseção entre inteligência artificial e matemática.
Fonte: xAI Grok (GNews) —
original