Acabámos de publicar um artigo resolvendo o Erdos #846, que foi resolvido por um modelo interno da OpenAI (). Embora o problema também possa ser derivado de um artigo anterior na literatura, a prova pelo modelo interno foi uma das primeiras instâncias em que sorri ao ler a prova.