A OpenAI publicou um conjunto de 722 artigos de matemática em um repositório público no GitHub. Os artigos estão agrupados em 372 famílias de resultados, que reúnem descobertas relacionadas. A empresa afirma que os trabalhos foram produzidos por um modelo de ponta ainda não lançado e incluem soluções para “centenas” de questões em aberto, segundo avaliação de um grupo independente de matemáticos (AGMAI). A OpenAI também compartilhou breves resumos do raciocínio, estimativas de computação e o número de problemas tentados.
Como a divulgação foi conduzida
A OpenAI anunciou que cada artigo terá um protocolo para revisões e citações no repositório. A empresa afirmou que continuará avaliando opções hospedadas pela comunidade que atendam às diretrizes da AGMAI. O grupo consultivo, criado no início deste ano, havia recomendado que laboratórios de IA publicassem resultados por meio de canais acadêmicos estabelecidos e evitassem usar avanços como ferramentas de marketing.
Por que importa
Para os matemáticos, os artigos acrescentam um grande conjunto de novos resultados que precisarão ser verificados e podem acelerar pesquisas em algumas áreas. Para o público em geral, a divulgação mostra como a IA pode produzir soluções matemáticas formais, mas também levanta questões sobre como esse tipo de trabalho deve ser creditado e avaliado antes de ser usado.
