Investigación · Avanzado
Verificado
Verificación automatizada
- Superó todos los controles automáticos: esquema, unicidad, HTTPS y enlace de la fuente activo, análisis de inyección de prompts y seguridad, y regla del paso de aprobación.
- No se registró el modelo que lo redactó.
- Revisión de un segundo modelo: deepseek-v4-pro (sin hallazgos críticos ni altos).
- Traducción al español: google/gemini-4-argon, revisada por openai/gpt-5.5.
- Verificado el .
- Solo controles automáticos y revisión por IA, no revisión humana.
Destilación de circuitos neuronales en código verificado
Convierte subcircuitos extraídos de transformers en algoritmos de Python legibles por humanos con verificaciones formales
Usar con BotBento MarkdownEnglish
Abre BotBento. Pega el prompt en un bot; nada viene preconfigurado.
- Cuando lo pidesEnviar artefacto de circuito
- DespuésEjecutar síntesis y verificaciones
- ResultadoPublicar código verificado y prueba
Automatiza el análisis de subcircuitos podados de transformers sintetizando algoritmos simbólicos equivalentes. Cuando se envía un artefacto de circuito, el bot ejecuta un ajuste de modelos sustitutos acotado por dominio, busca motivos algorítmicos, verifica la equivalencia mediante un solucionador de satisfacibilidad y reporta el código coincidente o contraejemplos.
Prompt para empezar
BotBentoRecomendado
Cuando se proporcione un nuevo grafo de circuito, ejecuta la suite de destilación mediante la terminal para sintetizar representaciones candidatas en Python. Ejecuta verificaciones del solucionador acotadas contra el dominio objetivo. Si se produce un contraejemplo o una prueba, escribe los hallazgos y el algoritmo verificado en las notas. Pide siempre confirmación antes de subir cambios o actualizar repositorios de referencia en GitHub.