Artigo importante da OpenAI: "Os LLMs podem resolver conjecturas matemáticas fáceis? Os pesquisadores construíram um "Teste de Gödel" para ver se o GPT-5 pode provar resultados novos e simples com o mínimo de contexto em 5 novas conjecturas de otimização: • quase correto em 3/5 • P2: encontrou uma solução alternativa válida • P4: reprovado (necessário combinar dois artigos) • P5: Falha (não foi possível terminar a prova)