Estamos investigando uma possível solução do GPT-5.4 Pro para um problema do FrontierMath: Problemas Abertos. Meu palpite é que a solução está certa, mas só teremos certeza quando o autor do problema se pronunciar. O fio da história até agora...