Matemático alega que Astra da OpenAI pode ter usado pesquisa privada em avanço matemático

Análise Beating AI: Novamente em controvérsia, a OpenAI Astra alcança avanço matemático. Recentemente, o matemático Andreas Thom publicou um artigo questionando se a OpenAI, ao treinar a Astra, pode ter incorporado conteúdo de diálogos realizados por ele e pelo matemático Gábor Kun sobre a conjectura de Gromov soficity, após a Astra resolver um problema altamente relacionado. A conjectura de Gromov soficity é uma questão importante e ainda não resolvida na teoria dos grupos, que Thom vem estudando há 20 anos. Em agosto deste ano, ao anunciar as "dez principais descobertas matemáticas" da Astra, a OpenAI listou como a terceira delas a construção de um grupo non-sofic. Inicialmente, a OpenAI afirmou que os resultados foram obtidos por uma versão interna da Astra, mas, após críticas da comunidade matemática, alterou sua declaração, reconhecendo que a prova depende de trabalhos matemáticos recentes, incluindo os de Kun e Thom. Atualmente, não há evidência de que a OpenAI tenha efetivamente utilizado esses diálogos privados para treinar a Astra, mas as acusações de Thom reacenderam o debate sobre as fontes de dados de treinamento de IA, a titularidade de pesquisas não publicadas e se as "descobertas por IA" se baseiam em resultados humanos não divulgados. Se as acusações forem finalmente comprovadas, o caso deixará de ser apenas uma controvérsia sobre autoria acadêmica e poderá se transformar em uma grande crise envolvendo o uso de dados por empresas de IA, ética científica e propriedade intelectual.