AxiomProver resolvió el problema de Erdos n.° 481: tardó 5 horas. La versión simplificada n.° 124 tardó más de 24 horas (¡uf!) y no fue tan concisa como nos hubiera gustado.
Somos una empresa de 4,5 meses de antigüedad y aún nos queda mucho camino por recorrer. Esto consiste en resolver los problemas de Erdos: la búsqueda matemática de Pokémon. Las matemáticas reales son descubrimientos profundos en todas las ramas de las matemáticas, especialmente en aquellas con una amplia bibliografía. ¡Adelante!