📸 Créditos da imagem: editorial realista e sofisticada sobre inteligência artificial aplicada à matemática
Publicação de Resultados
A OpenAI disponibilizou 722 manuscritos no GitHub, reunindo 372 grupos de resultados que abordam problemas que desafiam matemáticos há décadas.
Principais Conquistas
- Solução da conjectura de Kakeya em quatro dimensões.
- Melhorias em algoritmos computacionais.
- Avanços na chamada “quasi‑hipótese de Riemann”.
- Contribuições para três dos cinco Problemas do Prêmio do Milênio ainda não resolvidos.
Reação da Comunidade
Alex Kontorovich, professor da Universidade Rutgers, afirmou que a demonstração da “quasi‑hipótese de Riemann” renderia uma Medalha Fields instantânea se fosse produzida por um humano.
O material ainda precisa passar pelo crivo de especialistas; a validade das demonstrações depende de análises independentes.
Processo de Verificação
- Formalizações em Lean, linguagem que permite verificação computacional de provas.
- Resumo do raciocínio do modelo, estimativas de recursos computacionais e estatísticas sobre os problemas testados.
- Protocolos de revisão e citações incluídos no repositório.
- Cada resultado consumiu, em média, três horas de uso do ChatGPT Pro.
Próximos Passos
A OpenAI pretende financiar workshops, conferências e programas de análise das descobertas produzidas por IA.
Os pesquisadores deverão verificar as demonstrações, reproduzir os resultados quando possível e determinar quais representam avanços relevantes para a matemática.
📰 Leia a notícia completa em: Olhar Digital »