Artigo importante da OpenAI: "podem os LLMs resolver conjecturas matemáticas fáceis? Pesquisadores construíram um "Teste de Godel" para ver se o GPT-5 pode provar novos resultados simples com contexto mínimo sobre 5 novas conjecturas de otimização: • quase correto em 3/5 • p2: encontrou uma solução alternativa válida • p4: falhou (precisava combinar dois artigos) • p5: falhou (não conseguiu terminar a prova)