Essas pequenas conjecturas provadas por LLMs são provas corretas de uma em um milhão. Impressionante, mas um pouco parecido com cavalos de circo que conseguem contar até cinco.