Nos complace anunciar 1.000.000 de dólares en patrocinios directamente a estudiantes e investigadores para fomentar una mayor exploración mediante IA y verificación formal. Más detalles 👇

En los últimos dos meses desde que hicimos que Aristóteles estuviera ampliamente disponible para el público, cada vez está más claro que estamos entrando en una nueva era de descubrimientos matemáticos. Estudiantes e investigadores de todos los niveles y de muchas disciplinas han utilizado a Aristóteles para resolver conjeturas abiertas y verificar resultados emblemáticos.

Estamos desplegando nuestro capital y recursos para acelerar aún más el progreso en el sector con dos niveles iniciales de patrocinio.