Los trabajos se agrupan en 372 familias de resultados y abarcan áreas como álgebra, teoría de números e informática teórica. Fueron publicados en GitHub.

El sistema fue probado con 4.000 problemas abiertos. El modelo utilizado aún no está disponible para el público y no todas las pruebas matemáticas han sido verificadas.

La publicación reabre el debate sobre el uso de inteligencia artificial en la investigación. El reporte recoge la preocupación de que obtener respuestas de forma rápida pueda dejar en segundo plano el aprendizaje que surge durante el proceso.

La compañía también informó de apoyo a una iniciativa de la Fundación Simons para que matemáticos estudien y comprendan las demostraciones generadas por estos sistemas.

Con información de Genbeta.