Estamos emocionados de anunciar $1,000,000 en patrocinios directamente a estudiantes e investigadores para fomentar una mayor exploración utilizando AI 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, se ha vuelto cada vez más claro que estamos entrando en una nueva era de descubrimiento matemático. Estudiantes e investigadores de todos los niveles y de muchas disciplinas han utilizado 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 campo con dos niveles iniciales de patrocinio.