Pela primeira vez, um modelo de IA (GPT-5) resolveu autonomamente um problema de matemática aberta submetido ao nosso projeto de benchmarking IMProofBench, com uma prova completa e correta, sem dicas ou intervenção humana. Uma pequena, mas inovadora, contribuição para a geometria enumerativa. Um pouco de contexto: