Moonshine: Agente Autónomo para Generar Conjeturas Matemáticas
Descubre Moonshine, un agente de IA que genera conjeturas matemáticas. Explora la Conjetura Neural Jacobiana y sus demostraciones con GPT-5.5 y DeepSeek.
#investigación matemática
Avanzando la investigación matemática con búsqueda de pruebas formales con IA
Un agente de IA resolvió 9 de 353 problemas abiertos de Erdős usando Lean. Descubre cómo la búsqueda de pruebas formales impulsa la investigación matemática.