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