Estamos a investigar uma possível solução pelo GPT-5.4 Pro para um problema da FrontierMath: Problemas Abertos. O meu palpite é que a solução está correta, mas não teremos certeza até que o autor do problema se pronuncie. Thread com a história até agora…