Matemáticos propõem regras para divulgação de provas feitas por IA

Grupo consultivo recomenda que laboratórios de IA publiquem métodos, custos e critérios de seleção ao anunciar resultados matemáticos inéditos.

03/10 às 21:45

Pontos principais

O Advisory Group on Mathematics and Artificial Intelligence (AGMAI) publicou diretrizes em 29 de setembro de 2026.
A proposta exige transparência sobre prompts, tempo de processamento, custos computacionais e histórico de tentativas fracassadas.
Laboratórios devem financiar esforços da comunidade científica para verificar e compreender resultados complexos.
O grupo recomenda a formalização de provas em linguagens como Lean sempre que possível.
As diretrizes foram formuladas após consulta a mais de 600 matemáticos e seguem o interesse da OpenAI em divulgar mais de 100 problemas resolvidos.
O AGMAI é um órgão independente, sem poder de sanção, que busca estabelecer padrões de conduta ética para a área.

O Advisory Group on Mathematics and Artificial Intelligence (AGMAI), composto por nomes de peso como Terence Tao e Edward Witten, estabeleceu novas recomendações para a publicação de descobertas matemáticas geradas por modelos de inteligência artificial. O documento, publicado em 29 de setembro de 2026, visa mitigar o gargalo científico criado quando laboratórios anunciam resultados complexos antes que a comunidade tenha acesso aos dados necessários para validar as provas.

As diretrizes solicitam que os laboratórios de IA divulguem detalhes técnicos, incluindo o modelo utilizado, os prompts aplicados e os custos computacionais envolvidos. Além disso, o grupo defende que as empresas financiem o trabalho de pesquisadores independentes para garantir a compreensão e verificação dos resultados, evitando que o ônus da análise recaia apenas sobre a comunidade acadêmica sem suporte.

Embora o AGMAI não possua autoridade para impor sanções, a iniciativa reflete uma preocupação crescente com a reprodutibilidade científica. O grupo se posiciona contra o uso de modelos proprietários inacessíveis para testar problemas matemáticos avançados, incentivando a transparência total e o uso de repositórios independentes para a disseminação de descobertas.

Cobertura da mídia