English
EspañolDesarrollo de software de inteligencia artificial
Construimos software de IA en producción, no demos: para investigación científica, ciencia de materiales y automatización industrial, junto a AIXC Research.
Simulación propia · motores de cálculo con AIXC ResearchMás de 100 papers revisados por pares, en las mismas conferencias donde publican Google DeepMind y OpenAI.
AIXC Research es el laboratorio de investigación en IA del Grupo Zytech. Desarrolla los motores de cálculo e inteligencia artificial que aplicamos en Zytel.
- NeurIPS 202629 papers en workshops
- ICML · ICLR 2026IA para la ciencia y razonamiento
- AAAI-26 · CIKMrazonamiento verificable, finanzas y derecho
- StanfordAgents4Science 2025
- IROS 2025robótica, ponencia invitada en Hangzhou
IA para ciencia de materiales, con AIXC Research: trabajos aceptados
- ACHT-World: Causal World Models for Closed-Loop Self-Driving LaboratoriesAI4X 2026, symposium, presentación oral
- Physics-Informed Surrogates in a Verified Agentic Pipeline for Robust Molecular SimulationML4Molecules 2025, workshop, póster
- The Architectural Immune System: A Framework for Correcting Synthetic Fallacies in AI-Driven ScienceAgents4Science 2025, symposium
David Scott Lewis
Casi cinco décadas en tecnología e investigador en IA desde los años noventa. Cargos directivos en Microsoft, Samsung, Oracle y META Group (Gartner); MBA acelerado de Stanford y programa Senior Executives de Harvard Kennedy School. Fue vicepresidente ejecutivo del Grupo Zytech entre 2007 y 2011.
Papers y ponencias recientes
- NeurIPS · ICML · ICLR · AAAImás de 100 papers revisados por pares de AIXC Research, 2025–2026
- Stanford Agents4Science 2025paper aceptado
- IROS 2025, Hangzhouponente invitado, en el mismo programa que el fundador de Unitree
Papers revisados por pares seleccionados
Una selección del trabajo de AIXC Research en robótica, ingeniería e IA verificable. Cada título enlaza al registro oficial de la conferencia.
Robótica y científicos de IA
- Building a Robot Scientist: From Reasoning Models to Autonomous DiscoveryIROS 2025 · AIR4S · Hangzhou (invited talk)
- The Architectural Immune System: A Framework for Correcting Synthetic Fallacies in AI-Driven ScienceStanford · Agents4Science 2025
- ACHT-World: Causal World Models for Closed-Loop Self-Driving LaboratoriesAI4X 2026 · Singapore
- RSI for Science: A Verifier-First Framework for AI ScientistsICML 2026 · AI4Science
- Count Every Validation: Auditing Hidden Attempts in Recursive AI ScientistsNeurIPS 2026 · AI4Science
Ingeniería, planificación y previsión
- Does LLM Co-Evolution Pay Off in RTL Verification? A Cost-Normalised Audit on Ten RTLLM DesignsNeurIPS 2026 · AI4ChipDesign
- Recursive World-Model Self-Repair in PDDL DomainsNeurIPS 2026 · NEmo
- A Self-Improving Forecasting Agent That Chooses Its Own Validation WindowNeurIPS 2026 · FMTS
- Scientific CI/CD for Self-Modifying Discovery AgentsICML 2026 · AI4Math
Razonamiento verificable: finanzas y derecho
- VAP: Preventing Plausibility Traps in Algorithmic Trading with Physics-Informed Learning and Formal VerificationCIKM 2025 · Financial AI
- SOKRATES: Distilling Symbolic Knowledge into Option-Level Reasoning via Solver-Guided Preference OptimizationAAAI 2026 · LM Reasoning
- Glass-Box Arbitrators: An Explainable Neuro-Symbolic AI Framework for International Commercial ArbitrationAAAI 2026 · LM Reasoning
Lista completa de más de 100 papers en aixcresearch.com/publications.
Dónde aplicamos esta IA
Zytel Engineering
Motores de cálculo propios (DEM, elementos finitos y desgaste), desarrollados con AIXC Research, para calcular piezas soldadas de fabricantes de maquinaria.
- Cada cifra trazada a su ejecución
- Informe firmado por ingeniero colegiado
- Silos, depósitos, volquetes y tambores
Seguimiento de flotas
Software de seguimiento que estima la autonomía en tiempo real con datos del BMS y propone rutas viables.
- Datos del BMS, GPS y aporte solar
- Investigación con GITEL (I3A)
- Presentado en EPoSS 2021
Stack completo para IA en producción
LLMs y agentes
GPT, Claude, Llama, Mistral, DeepSeek. Orquestación con LangChain, LlamaIndex, agentes MCP y RAG multimodal.
Machine learning aplicado
PyTorch, TensorFlow, scikit-learn. Series temporales, visión artificial y forecasting.
Datos y MLOps
Vector DBs (pgvector, Weaviate, Qdrant), pipelines Airflow/Prefect, Kubernetes + GPU.
On-premise y aire aislado
LLMs locales para datos sensibles: llama.cpp, vLLM, Ollama, cuantización y fine-tuning propio.
Verificación formal
Análisis simbólico, model checking e invariantes para agentes autónomos en dominios críticos.
Integración industrial
Conectores a SCADA, OPC-UA, ERPs y sensores IoT. IA integrada en flotas y planta (Zytel EV).
Por fases, con entregables reales en cada etapa
Sin PoCs eternos: cada fase termina con algo que funciona y se puede medir.
Discovery
Auditamos datos, procesos y la pregunta real de negocio. Salida: roadmap técnico y ROI estimado.
- Auditoría de datos y ETL
- Selección de modelo y arquitectura
- Definición de KPIs
Piloto
Prototipo funcional con datos reales del cliente. Valor medible antes de escalar.
- MVP en preproducción
- Evaluación contra baseline
- Iteración con usuario final
Producción
Puesta en producción, monitorización, reentrenamiento y soporte con SLA, en la nube o on-premise.
- CI/CD y observabilidad
- Detección de drift
- Contrato de mantenimiento
¿Un proyecto de IA en marcha?
Escríbanos y planificamos una llamada de descubrimiento sin compromiso.