Estamos a divulgar um vasto conjunto de novos resultados matemáticos produzidos por um modelo interno de fronteira.
Para uniformizar a forma como partilhamos resultados com a comunidade matemática, temos vindo a consultar o Grupo Consultivo de Matemática e Inteligência Artificial do Instituto de Estudos Avançados(abre numa nova janela), um órgão independente, para desenvolver boas práticas. Estamos a incorporar os seus conselhos e recomendações públicas(abre numa nova janela) na forma como divulgamos estes resultados.
Nesta divulgação, estamos a publicar os resultados num repositório do GitHub, com protocolos para a revisão dos artigos e para as citações. Continuamos a explorar outras alternativas de alojamento na comunidade para esta divulgação, que cumpram as orientações do comité. Nas próximas divulgações, comprometemo-nos a melhorar ainda mais a qualidade dos artigos, aperfeiçoando as citações, a exposição matemática e a apresentação dos resultados, para facilitar a sua compreensão.
No nosso repositório do GitHub, estamos a partilhar formalizações de muitas das demonstrações em Lean, uma linguagem de programação que permite verificar demonstrações matemáticas por computador. Atualizaremos o repositório com mais formalizações à medida que as obtivermos.
Para promover a transparência e a abertura científicas, estamos também a publicar no repositório mais detalhes sobre a forma como obtivemos os resultados. Estes incluem 10 resumos do raciocínio do modelo, estimativas dos recursos computacionais utilizados, expressas em termos de utilização do Pro no ChatGPT, e estatísticas sobre o número de problemas que o modelo tentou resolver. Em média, cada resultado exigiu recursos computacionais equivalentes a cerca de três horas de raciocínio do ChatGPT Pro.
Queremos que este progresso alargue as fronteiras do conhecimento humano e permita novos avanços na matemática. Vamos financiar uma série de workshops, conferências e programas especiais dedicados à compreensão de resultados importantes produzidos pela IA. Partilharemos mais informações em breve.
Queremos dar aos cientistas acesso direto a capacidades de ponta e estamos a trabalhar para disponibilizar de forma responsável o modelo que produziu estes resultados. É por isso que é importante continuar a avaliar os nossos modelos internos de fronteira na matemática e noutras ciências, para podermos acelerar o desenvolvimento de ferramentas que façam avançar estas áreas. Continuaremos a agir com base nos comentários da comunidade e a atualizar as nossas normas para futuras divulgações de grandes avanços científicos.
