A OpenAI decidiu compartilharpublicamente as tentativas de prova geradas por seus modelos de inteligência artificial no desafio First Proof, uma competição de matemática de nível de pesquisa que reúne problemas elaborados por onze matemáticos de elite. O objetivo principal do teste é avaliar a capacidade dos sistemas de IA de resolver questões matemáticas de alta complexidade, aquelas que exigem raciocínio original e não apenas a aplicação de técnicas já conhecidas.
O First Proof foi lançado no início de fevereiro, com os resultados sendo divulgados posteriormente no chamado "Dia dos Namorados", conforme amplamentenoticiado pela comunidade científica. O desafio foi estruturado para apresentar problemas que não poderiam ser resolvidos simplesmente combinando métodos matemáticos convencionais, exigindo dos participantes um nível de criatividade e insight típico da pesquisa acadêmica avançada.
A equipe por trás do First Proof explicou que buscou criar questões que refletissem problemas genuínos surgidos durante o processo de pesquisa dos próprios matemáticos, tornando o teste ainda mais desafiador e realista. As tentativas da OpenAI foram geradas e formatadas diretamente pelos modelos da empresa, sem intervenção humana no processo de redação das soluções.
Especialistas destacaram que as soluções corretas observadas nos sistemas de IA até o momento tendem a lembrar abordagens da matemática do século XIX, levantando questões interessantes sobre o estado atual do razonamento matemático automatizado e o que ainda precisa ser desenvolvido para alcançar níveis mais avançados de prova matemática.
