OpenAI compra verificadores de problemas matemáticos não resolvidos, que podem verificar automaticamente se as soluções de IA estão corretas

Notícias do ME News, 15 de abril (UTC+8), de acordo com a monitorização do Beating, a instituição de pesquisa em IA Epoch AI revelou que a OpenAI adquiriu acesso ao seu verificador FrontierMath: Open Problems. FrontierMath: Open Problems é um conjunto de problemas matemáticos de pesquisa ainda não resolvidos por matemáticos profissionais, cada um equipado com um programa de computador dedicado (verificador). Embora atualmente ninguém conheça a resposta correta, uma vez que alguém (ou IA) forneça uma solução potencial, o verificador pode automaticamente verificar sua correção. Após adquirir esse acesso, a OpenAI pode usar o verificador para checar se as soluções matemáticas geradas pelos seus modelos são válidas.
O acesso ao verificador está disponível para compra por qualquer instituição, sendo o custo principal destinado a pagar recompensas aos matemáticos, pois o processo de formulação dos problemas e de desenvolvimento do verificador é altamente trabalhoso. A Epoch AI também estabeleceu uma condição: qualquer parte que descubra uma solução válida usando o verificador deve notificar a Epoch AI, e os autores do problema e a parte que descobriu a solução compartilharão o direito de publicação conjunta.
A Epoch AI enfatizou que a OpenAI anteriormente financiou a criação do benchmark original FrontierMath (Tiers 1-4), mas a parte Open Problems foi desenvolvida e é de propriedade exclusiva da Epoch AI, com um projeto piloto financiado pela Schmidt Sciences. (Fonte: BlockBeats)