Modelos GPT de fronteira propõem resoluções candidatas para cerca de 60% de 200 conjecturas abertas sorteadas, diz estudo

O conjunto OpenConjecture reúne conjecturas de artigos de matemática no arXiv desde fevereiro de 2026; contraexemplos foram cerca de 1,3 vez mais comuns que provas, os autores não verificaram as respostas com especialistas e algumas exploraram erros ou ambiguidades.