AxiomProver resolveu o problema de Erdős nº 481 - levou 5 horas A versão simplificada nº 124 levou mais de 24 horas (ufa!) e não ficou tão concisa quanto gostaríamos.
Somos uma empresa com 4 meses e meio de existência e ainda temos um longo caminho a percorrer. Isso é resolver problemas de Erdős - uma espécie de caça matemática a Pokémons. A verdadeira matemática consiste em descobertas profundas em todos os ramos da matemática, especialmente naqueles que possuem uma vasta literatura. Avante!