Tudo sobre Inteligência Artificial
Tudo sobre OpenAI
A OpenAI disponibilizou centenas de novos resultados matemáticos produzidos por um modelo interno de fronteira, ou seja, uma tecnologia que está entre as mais avançadas desenvolvidas pela empresa. Ao todo, a empresa publicou 722 manuscritos no GitHub, reunindo 372 grupos de resultados para problemas que desafiam matemáticos há décadas.
Continua após a publicidade
A divulgação ocorre em meio à crescente discussão sobre o uso de inteligência artificial na ciência. A empresa consultou um grupo independente de matemáticos para definir boas práticas de publicação, mas não seguiu todas as recomendações.
Centenas de resultados de uma só vez
A coleção reúne trabalhos em áreas como teoria dos números e geometria algébrica. Entre os destaques estão uma solução para a conjectura de Kakeya em quatro dimensões, melhorias em algoritmos computacionais e avanços relacionados à chamada “quasi-hipótese de Riemann”.
Os resultados também abrangem três dos cinco Problemas do Prêmio do Milênio que ainda permanecem sem solução. Para chegar até eles, o modelo tentou resolver cerca de 4 mil problemas.
A escala da divulgação chamou a atenção de matemáticos. Alex Kontorovich, professor da Universidade Rutgers, afirmou no X que, se um humano tivesse produzido a demonstração relacionada à “quasi-hipótese de Riemann”, ela renderia uma Medalha Fields instantânea.
O material, porém, ainda precisa passar pelo crivo de especialistas. A validade das demonstrações e a importância matemática de cada resultado dependem de análises independentes.
Como a OpenAI divulgou os resultados
Para organizar a publicação, a OpenAI consultou o Grupo Consultivo sobre Matemática e Inteligência Artificial (AGMAI), formado por especialistas independentes. A empresa afirma ter seguido as orientações do grupo sobre a divulgação dos resultados, mas não adotou uma recomendação para interromper testes de problemas matemáticos avançados em modelos proprietários.
O repositório inclui formalizações de demonstrações em Lean, linguagem de programação que permite verificar provas matemáticas por computador. Também foram publicados resumos do raciocínio do modelo, estimativas de recursos computacionais e estatísticas sobre os problemas testados.
A OpenAI informou que a publicação no GitHub inclui protocolos para revisão dos artigos e para a realização de citações.
Segundo a empresa, cada resultado consumiu, em média, recursos computacionais equivalentes a cerca de três horas de uso do ChatGPT Pro.
A empresa também pretende financiar workshops, conferências e programas voltados à análise das descobertas produzidas por IA. O repositório deverá receber novas formalizações conforme elas forem obtidas.
Continua após a publicidade
O ceticismo continua
A divulgação acontece depois de uma série de debates sobre o uso de IA para resolver problemas matemáticos. A controvérsia anterior envolvendo a OpenAI aumentou a cobrança por transparência e replicação dos resultados.
O grupo consultivo havia recomendado que laboratórios parassem de testar problemas matemáticos avançados em modelos proprietários. A OpenAI não seguiu essa orientação e afirmou que considera importante continuar avaliando seus modelos internos de fronteira em matemática e outras ciências.
A empresa também não divulgou os tempos computacionais específicos de cada problema nem os prompts utilizados. Para a comunidade matemática, essa ausência reforça a necessidade de examinar cuidadosamente as provas antes de atribuir a elas um impacto definitivo.
Continua após a publicidade
O próximo passo está nas mãos dos pesquisadores. Eles terão de verificar as demonstrações, reproduzir os resultados quando possível e determinar quais deles representam avanços relevantes para a matemática.
Valdir Antonelli
Valdir Antonelli é jornalista com especialização em marketing digital e consumo.
Ver todos os artigos →
!function(f,b,e,v,n,t,s){
if(f.fbq)return;
n=f.fbq=function(){n.callMethod?n.callMethod.apply(n,arguments):n.queue.push(arguments)};
if(!f._fbq)f._fbq=n;n.push=n;n.loaded=!0;n.version=’2.0′;
n.queue=[];t=b.createElement(e);t.async=!0;
t.src=v;s=b.getElementsByTagName(e)[0];
s.parentNode.insertBefore(t,s)
}(window, document,’script’, ‘https://connect.facebook.net/en_US/fbevents.js’);
fbq(‘init’, ‘1221644929160171’);
fbq(‘track’, ‘PageView’);
Fonte Original | Notícias – Olhar Digital
