Modelo OpenAI resolve conjectura de geometria discreta, avancando raciocinio matematico de IA

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.