OpenAI adquire acesso ao validador FrontierMath para verificação de problemas matemáticos de IA

Notícia da ME, 15 de abril (UTC+8): De acordo com monitoramento da Beating, a instituição de pesquisa em IA Epoch AI revelou que a OpenAI adquiriu acesso ao validador FrontierMath: Open Problems. FrontierMath: Open Problems é um conjunto de problemas matemáticos de nível de pesquisa ainda não resolvidos por matemáticos profissionais; cada problema é acompanhado por um programa de computador dedicado (validador). Embora ninguém conheça atualmente a resposta correta, caso alguém (ou uma IA) forneça uma solução potencial, o validador pode automaticamente verificar sua validade. Após adquirir esse acesso, a OpenAI poderá usar o validador para verificar se as soluções matemáticas geradas por seus próprios modelos são válidas. O acesso ao validador está disponível para compra por qualquer instituição, com os principais custos destinados ao pagamento dos matemáticos, já que a criação dos problemas e o desenvolvimento dos validadores são processos intensivos em mão de obra. A Epoch AI também estabeleceu uma condição: qualquer parte que descubra uma solução válida por meio do validador deve notificar a Epoch AI, e o autor do problema e o descobridor compartilharão os direitos de publicação conjunta. A Epoch AI destacou que a OpenAI anteriormente financiou a criação do benchmark original FrontierMath (Tiers 1-4), mas a seção Open Problems foi desenvolvida e é de propriedade exclusiva da Epoch AI, com o estágio piloto financiado pela Schmidt Sciences. (Fonte: BlockBeats)