---
title: "Matemáticos propõem regras para divulgação de provas feitas por IA"
url: https://dailyjournal.news/news/2026-10-04/matematicos-propoem-regras-para-divulgacao-de-provas-feitas-por-ia
published: 2026-10-04T00:45:43.624388+00:00
updated: 2026-10-04T00:45:43.624388+00:00
categories: ["science"]
source_count: 1
outlet_count: 0
language: pt-BR
publisher: "Daily Journal"
---

# 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.

## 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.

## Fontes

- [Matemáticos propõem regras para divulgação de provas feitas por IA](https://groundtruth.day/news/agmai-responsible-release-ai-mathematics.html) (2026-10-04)

---

Publicado por Daily Journal. Versão HTML: https://dailyjournal.news/news/2026-10-04/matematicos-propoem-regras-para-divulgacao-de-provas-feitas-por-ia