Um modelo OpenAI resolveu formalmente uma conjectura de longa data em geometria discreta, marcando uma conquista significativa na descoberta de prova assistida por IA. A conquista demonstra a capacidade de modelos fronteira para raciocinio simbolico rigoroso em problemas de pesquisa previamente nao resolvidos, com implicacoes para fluxos de trabalho de computacao cientifica.