Um novo modelo GPT Pro parece estar a ser testado na web, não tenho certeza sobre a aplicação. Parece ser um SALTO MASSIVO na capacidade de codificação; pode gerar mais de 6000 linhas em um único prompt. Mais exemplos nos comentários. Você pode saber que o tem se houver um botão de polegar para cima/baixo ao lado do resumo CoT.

O Problema de Erdős #635 resolvido autonomamente pelo GPT-5.2 Pro. O modelo pensou por apenas 50 minutos, produzindo uma prova correta em Latex, depois formalizada em Lean pelo @HarmonicMath's Aristóteles. Um grande agradecimento ao @AcerFur por limpar o Lean. A revisão da literatura está em andamento.

*Nano Banana 2* ENORME Biblioteca de Saída! Ontem tive acesso ao nano banana 2 e gerei uma tonelada de imagens o dia todo. Não estou incluindo prompts, pois isso me levaria anos, aqui estão as imagens: