A OpenAI anunciou nesta terça-feira (6) que seu novo modelo interno de inteligência artificial produziu 377 resultados matemáticos complexos, que incluem respostas para questões ainda sem solução e alguns avanços em problemas que pesquisadores tentavam resolver há tempos.

Os trabalhos passam por áreas como álgebra, teoria dos números, lógica matemática, topologia e ciência da computação teórica. Muitas das demonstrações foram checadas no Lean, um sistema usado para verificar se os passos de uma prova matemática seguem corretamente as regras da lógica.

A empresa afirma que o resultado médio consumiu o equivalente a cerca de três horas de processamento no modo de raciocínio do ChatGPT Pro. A OpenAI também informa que trabalha para liberar de forma responsável o modelo que produziu os resultados.