OpenAI Detalha Suas Primeiras Submissões de Provas Matemáticas

A OpenAI detalhou suas tentativas de prova de ponta a ponta em todos os dez problemas de pesquisa First Proof , um desafio de domínio específico projetado para testar se os sistemas de IA conseguem produzir argumentos matemáticos totalmente verificáveis. A publicação apresentou o feedback de avaliação de especialistas da área, revisões de alegações de correção anteriores e incluiu um pré-print com todas as provas, além de um apêndice que documenta os padrões de prompt utilizados para simular a colaboração iterativa humano-modelo .