Skip to content
Gigantum.net
Artificial intelligence

OpenAI diz que novo modelo avançou em 377 problemas de matemática | G1

Empresa diz que sistema avançou em problemas de diferentes áreas da matemática e da computação. Parte dos resultados foi checada por ferramentas de verificação, mas pesquisadores cobram mais transparência sobre o modelo.

· 363 words

Logo da OpenAI aparece ao lado de mão robótica. — Foto: Reuters/Dado Ruvic

A OpenAI afirmou 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 .

Esses campos estudam desde relações entre números e estruturas abstratas até regras de raciocínio e problemas usados na base de algoritmos , sequências de instruções que fazem computadores resolverem tarefas.

Segundo a empresa, parte dos resultados resolve questões em aberto e parte representa avanços em problemas que ainda estavam sendo estudados.

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.

Essa checagem ajuda a confirmar se os passos da prova estão corretos, mas não substitui uma análise de pesquisadores sobre o que há de novo em cada resultado.

A divulgação ocorre cerca de um mês depois de a OpenAI anunciar um avanço ligado às equações de Navier-Stokes, um dos chamados Problemas do Milênio , considerados alguns dos desafios mais difíceis da matemática.

A quantidade de resultados divulgados de uma vez, contudo, chamou atenção porque o modelo usado pela empresa ainda não está disponível ao público.

Isso impede que outros pesquisadores testem o sistema nas mesmas condições e tentem reproduzir o processo que levou às respostas.

Justamente por isso, alguns matemáticos defendem que empresas de IA expliquem melhor como esses resultados foram obtidos, incluindo qual modelo foi usado, quais comandos foram dados e como o trabalho foi produzido.

A OpenAI diz que começou a divulgar mais detalhes sobre os resultados e que pretende melhorar as próximas publicações.

Segundo a empresa, o resultado médio consumiu o equivalente a cerca de três horas de processamento no modo de raciocínio do ChatGPT Pro .

A companhia também afirma que trabalha para liberar de forma responsável o modelo que produziu os resultados.

Novo modelo da OpenAI produziu 377 resultados matemáticos complexos, segundo a empresa. — Foto: Pexels

Gathered from external sources. Rights to this text belong to whoever originally published it.

Monday, October 12, 2026

© 2026 Gigantum.net. Content gathered automatically from external sources; rights to each text belong to whoever originally published it.