Star Fleet Math: un sistema de IA que resuelve problemas abiertos de Erdős con Lean 4
Star Fleet Math es un sistema de inteligencia artificial creado por Colin Snyder con el asesoramiento de Mike Kim, inspirado en Ignis, que aborda algunos de los problemas abiertos más difíciles de la matemática empleando Lean 4. La aplicación de escritorio para macOS orquesta hasta 20 agentes autóno
