
La compañía dio a conocer más de 370 resultados matemáticos que abarcan áreas como el álgebra, la informática teórica y la lógica matemática. Lo hizo a través de un repositorio de GitHub que puede ser revisado por matemáticos, aunque a los especialistas les tomará meses analizar y comprender la información
