Informatico.ai

Contenido

Ingeniería y Construcción

  1. E.01 Continuo Poroso de Stokes–Brinkman, Descomposición de Helmholtz–Hodge y Percolación
  2. E.02 Reología de Esfuerzo de Fluencia de Herschel–Bulkley: Bombeo de Concreto de Alto Desempeño y Colocación Tremie
  3. E.03 Arreglos de Metamateriales Acústicos Sub-Longitud de Onda de Helmholtz y Amortiguamiento Viscotérmico
  4. E.04 Intercambiadores de Recuperación de Entalpía a Contracorriente: Efectividad–NTU, Sorción en Membrana y Límites de Escarcha
  5. E.05 Mecánica de Suelos de Terzaghi, Pilotes Profundos CFA y Sobrecarga por Licuefacción
  6. E.06 Dinámica Estructural No Lineal, Espectros Inelásticos ASCE 7-22 y Aisladores Sísmicos de Base
  7. E.07 Flameo Aeroelástico de Puentes Colgantes de Gran Claro, Derivadas de Scanlan y Gemelos Digitales PINN
  8. E.08 Tuneladoras de Equilibrio de Presión de Tierras (EPB-TBM), Cubetas Gaussianas de Peck–Mair y Gemelos Subterráneos GNN
  9. E.09 Concreto Autocurativo Bacteriano y Cristalino: Imbibición Capilar de Lucas–Washburn, Precipitación de Calcita de Fick–Michaelis–Menten y Gemelos Digitales de Ondas Coda
  10. E.10 Reología de Extrusión e Imprimibilidad en Impresión 3D de Concreto (3DCP): Estructuración Tixotrópica de Roussel, Pandeo Elástico vs. Colapso Plástico y Control Robótico
  11. E.11 Optimización Topológica Continua SIMP y Amortiguadores Inerter en Rascacielos: Armaduras de Michell y Mecánica Ósea Trabecular
  12. E.12 Seguridad Verificada del Silicio a la Red Eléctrica: Prueba de 180M de Líneas en Rocq para RISC-V, Funciones de Barrera y Sincronización Renovable

Arquitectura

  1. A.01 Superficies Foniculares de Empuje, Duales de Maxwell–Cremona y Tectónica Nodal 1:5
  2. A.02 Retículas Recíprocas de Madera (Nexorades), Momentos de Traslape Excéntrico y Ensambles de Corte 1:5
  3. A.03 Ventilación por Flotabilidad en Fachadas de Doble Piel, Plumas Térmicas e Iluminación Circadiana CIE S 026
  4. A.04 De las Megaestructuras Plug-In de Archigram a los Exoesqueletos High-Tech: Gerberettes, Marcos Espaciales de Maxwell y Cápsulas Clínicas
  5. A.05 Reverberación Acústica de Sabin–Eyring, Bóvedas Difusoras de Residuo Cuadrático y Claridad del Habla (STI ≥ 0.68)
  6. A.06 Humedales Construidos de Agua Neta Cero: Filtración Subsuperficial de Darcy, Fotólisis UV-C y Plomería Libre de Patógenos (CSI 22 13 00)
  7. A.07 Tectónica Cromática de Luis Barragán, Radiosidad de Pigmentos de Kubelka–Munk y Campos de Onda Espaciales
  8. A.08 Cubiertas Fotónicas de Enfriamiento Radiativo Diurno al Cielo (Ventana de 8–13 μm) y Envolventes de Cambio de Fase de Stefan
  9. A.09 Pieles Arquitectónicas Programables de Madera Higroscópica: Curvatura Bicapa de Timoshenko, Hinchamiento Ortotrópico y Fachadas Climáticas de Energía Cero
  10. A.10 Origami Cinético y Fachadas Biomiméticas Desplegables Miura-Ori: Cinemática Isométrica de Pliegues, Inversión Auxética de Poisson y Envolventes Mashrabiya
  11. A.11 Estática Gráfica Poliédrica 3D y Superficies de Esfuerzo de Airy: Poliedros Recíprocos de Maxwell, Bóvedas de Guastavino y Pisos sin Acero
  12. A.12 Domos de Tensegridad Cable-Puntal y Envolventes de Enfriamiento Radiativo: Subespacios Nulos de Pellegrino y Enfriamiento sin Energía

Física

  1. P.01 Teoremas de Fluctuación-Disipación Fuera del Equilibrio y Energética de Compuerta Alostérica
  2. P.02 Hidrodinámica de Materia Activa y Sincronización de Ondas Metacrónicas Ciliares
  3. P.03 Reología de Materia Blanda y Subdifusión Anómala en Hidrogeles Entrelazados de Mucina
  4. P.04 Electrocinética, Equilibrio de Donnan y el Colapso Osmótico de la Capa Periciliar
  5. P.05 Penetración Cuántica de Barrera WKB, Transferencia Electrón-Protón Acoplada y Catálisis de Edición de Bases
  6. P.06 Reptación de Polímeros de de Gennes (D_rep ~ N⁻²), Relajación en Tubo de Doi–Edwards y Transporte de Carga Genética de 4.5 kb
  7. P.07 Aerodinámica Venturi de Efecto Suelo en Fórmula 1, Alerones Activos Modo X/Z 2026, Sellado por Vórtices y Ciclos Límite de Porpoising
  8. P.08 Física de Ondas Electromagnéticas del Color: Interferencia de Bragg en Película Delgada, Perlado Automotriz y Óptica de Estuco de Barragán
  9. P.09 Conos Electrohidrodinámicos de Taylor (49.3°), Límites de Fisión de Rayleigh y Física de Chorros de Aerosol Monodispersos de Precisión
  10. P.10 Fotónica Topológica, Aislantes de Chern Fotónicos de Haldane–Raghu, Curvatura de Berry y Guías de Onda Quirales Libres de Retrodispersión
  11. P.11 Computación Cuántica Tolerante a Fallos y Fijación Limpia de Nitrógeno: Estabilizadores de Código de Superficie, Trenzado de Anyones y FeMoCo
  12. P.12 El Sexto Problema de Hilbert Resuelto: De la Cinética de Esferas Duras de Boltzmann al Continuo de Navier–Stokes y Operadores Climáticos

Serie · Tiempo y Gravedad · 13 pasos (T.00–T.12)

  1. T.00 Tiempo y Gravedad
  2. T.02 Todos Avanzamos a un Mismo Ritmo
  3. T.01 La Gravedad como Pendiente en el Ritmo del Tiempo
  4. T.03 Qué Fija la Pendiente
  5. T.04 Un Reloj en Dos Lugares
  6. T.05 ¿La Gravedad Entrelaza, y Eso Bastaría?
  7. T.06 ¿La Gravedad Colapsa la Onda?
  8. T.07 La Ecuación sin Tiempo
  9. T.08 Un Horizonte Tiene Temperatura
  10. T.09 Un Horizonte Resuena Como una Campana
  11. T.10 El Argumento de Conteo de Page
  12. T.11 ¿Qué Selecciona el Mundo que Ve un Reloj?
  13. T.12 Dos Relojes que Solo se Encuentran en la Gravedad

Matemáticas

  1. M.01 Levantamiento de Modularidad, Barreras de Densidad de Ceros Espectrales y Esparsificación de #3-SAT
  2. M.02 Estimaciones de Densidad de Ceros de la Función Zeta de Riemann, Desigualdades de Gran Criba y Cotas Espectrales de XiPrime
  3. M.03 Conjuntos Cap Extremales en F_3^n, Cotas del Método Polinomial y Tensores Matriciales de Rango 48
  4. M.04 Cálculo de Entropía Polinomial de Freiman–Ruzsa (PFR) y el Grafo Ecuacional de 22 Millones de Leyes de Magmas
  5. M.05 Búsqueda Deductiva Neuro-Simbólica (AlphaGeometry 2): Construcciones Auxiliares y Triangulación de Bolsillos Alostéricos
  6. M.06 Reducciones Subcúbicas de Grano Fino (3SUM → APSP) y Supervisión de Procesos Paso a Paso (PRM800K)
  7. M.07 Control Óptimo de Energía de Pontryagin para MGU-K de 350 kW en Fórmula 1, Minimización de Tiempo de Vuelta HJB y Operadores Neuronales de Fourier
  8. M.08 Geometría Diferencial Riemanniana de la Percepción del Color: Geodésicas de Helmholtz–Schrödinger, Tensores Métricos de MacAdam y Proyecciones de Grassmann
  9. M.09 Transporte Óptimo de Monge–Kantorovich, Dinámica de Fluidos Geodésica Wasserstein-2 de Benamou–Brenier, Regularización Entrópica de Sinkhorn y Flow Matching
  10. M.10 Homología Persistente, Filtraciones Simpliciales de Vietoris–Rips, Códigos de Barras de Betti y Umbrales Topológicos de Percolación en Medios Desordenados
  11. M.11 Resolución de la Conjetura de Kakeya 3D y Ruptura de la Barrera de Ingham (1940): Wang–Zahl, Guth–Maynard 30/13 y Lean 4
  12. M.12 Complejidad en Lean 4 de Anthropic y Cerraduras Cristalinas Post-Cuánticas: Refutación ETH (ETHIsFalse), Rango de Ocho Cuadrados y Retículos ML-KEM

Crisol de Premios y Retos Abiertos · 6 Folios Dedicados (B.01–B.06)

  1. B.01 · BOUNTY-M1 Conjuntos de Sidon B₂ de Erdős, Reglas de Golomb y Formalización en Lean 4
  2. B.02 · BOUNTY-P1 XPRIZE Quantum ($5M) y Unitary Foundation: Umbrales de Código de Superficie y Catálisis FeMoCo
  3. B.03 · BOUNTY-E1 XPRIZE Carbon Removal ($100M) e IStructE: Losas Estructurales SIMP Bajo 45 kg CO₂e/m²
  4. B.04 · BOUNTY-A1 Premios Holcim ($1M) y Global Cooling ($3M): Bóvedas 3D sin Acero y Enfriamiento Radiativo
  5. B.05 · BOUNTY-P2 Regresión Simbólica de Pareto (PySR) y Descubrimiento Disperso de EDPs (PySINDy + Dedalus)
  6. B.06 · BOUNTY-M2 Física Gauge Verificada en PhysLean y Criticidad Cuántica con Redes Tensoriales (ITensors.jl + NetKet)

Tecnología y Herramientas · Caja de Herramientas 3D y CAD Abierto (X.01–X.06)

  1. X.01 · TOOL-CORE-1 Visor WebGL2 GLB sin Dependencias y Verificador Geométrico 2-Variedad a Nivel de Bytes
  2. X.02 · TOOL-ENG-1 Sólidos Paramétricos en Código y Fidelidad Medida entre STEP AP242, 3MF y GLB
  3. X.03 · TOOL-ARCH-1 El Kit de Bóvedas, Madera y Marcos Recíprocos para Pequeños Estudios de Arquitectura
  4. X.04 · TOOL-ARCH-2 Pantallas Solares Desplegables Miura-Ori: De la Cinemática 3D (GLB) al Patrón Plano DXF
  5. X.05 · TOOL-FAB-1 Puntales Estructurales Optimizados por Topología a 3MF Hermético y Auditoría de Voladizo
  6. X.06 · TOOL-PHYS-MATH-1 Celdas Unitarias de Metamateriales Acústicos y Topológicos: Verificación de Género g = 1 y Números de Betti

Ensayos Destacados entre Escalas · 9 Síntesis Independientes (ES.01–ES.09)

  1. ES.01 El Piso Mesoscópico: Diamantes en Caída, Baños Térmicos y Tamices Poliméricos
  2. ES.02 Derivado, No Medido: Por Qué un Cálculo Exacto Nunca Sustituye a un Experimento
  3. ES.03 Barreras, Poros y Relojes
  4. ES.04 Tensegridad, Microcausalidad y Modos Cero: Cómo el Rango de Restricción Fija Armaduras Espaciales y Subsistemas Cuánticos
  5. ES.05 Islas, Antojeras y Supervivencia Condicional: Tres Formas en que Giran las Curvas de Entropía
  6. ES.06 Restricciones Acopladas sin Tiempo: Relojes de Wheeler–DeWitt, Muros de Torsión a 33 µm, Ecos Bilaterales y Prueba sin Sorry
  7. ES.07 El Horizonte Paralelo y la Isla Cuántica sin Resquicios: Cotas Exactas, Valles Criogénicos y por Qué Esto No Es una Teoría del Todo
  8. ES.08 Complementos de Schur e Identificabilidad ante Parámetros de Molestia: Calibraciones Flotantes, Diseños Óptimos de 3 Puntos y Gravedad a Corta Distancia
  9. ES.09 Testigos Multipartitos, Tomografía de Escalamiento y Relojes Activos: Cómo Separar la Gravedad Cuántica de Híbridos Clásicos Más Allá de Dos Cuerpos

Pista de Retos y Premios Abiertos · 6 Folios Dedicados (B.01–B.06)

Crisol de Premios y Grandes Retos Abiertos

Seis monografías dedicadas (B.01–B.06) que abarcan las recompensas de Erdős en Lean 4, el XPRIZE Quantum Applications ($5M) y unitaryHACK, el XPRIZE Carbon Removal ($100M) e IStructE, el Premio Holcim ($1M) y Global Cooling Prize ($3M), el descubrimiento simbólico de EDPs con PySR/PySINDy y la física gauge en PhysLean. Cada Folio explica la historia del problema, desarrolla nuestra prueba en 4 etapas, ofrece un laboratorio contrafactual en vivo, define la frontera de verdad T0–T3 e incluye el verificador reproducible en Python.

⚡ GUÍA RÁPIDA DE 30 SEGUNDOS · BENCHMARKS VERIFICADOS Y CÓDIGO PYTHON Diseñado para investigadores independientes, equipos de demostración formal y retadores abiertos.
Paso 1 · Elige un Folio de Premio

Erdős · XPRIZE · Holcim · PhysLean

Abre cualquiera de los 6 Folios de Retos (B.01–B.06) para leer la explicación accesible, la derivación en 4 etapas y las reglas del registro oficial.

Paso 2 · Prueba el Laboratorio Contrafactual

Benchmark PASS vs. Supresión de Axioma

Arrastra los dos deslizadores o activa la Supresión Contrafactual de Axiomas para comprobar por qué cada término de la ley gobernante es necesario.

Paso 3 · Ejecuta el Verificador en Python

Script Reproducible + SKILL.md

Ejecuta python bounties/run_all_bounties.py para correr los 6 verificadores en <1s, o descarga el verificador en Python y el SKILL.md de cada Folio.

Conceptual visualization imagining what Bounty B.01 (BOUNTY-M1: Erdős Sidon B₂ Sets, Golomb Rulers & Anthropic Lean 4 Formalization Bounties) would look like as a physical laboratory and formal proof apparatus (artistic impression, not a measured structure) B.01 · BOUNTY-M115 min de lectura B.01 (BOUNTY-M1) · Conjuntos de Sidon B₂ de Erdős, Reglas de Golomb y Formalización en Lean 4 Cómo la construcción voraz de Mian–Chowla, la cota superior √N + N^(1/4) + 1 de Erdős–Turán y las pruebas verificadas en Lean 4 acotan los conjuntos con sumas por pares distintas. Conceptual visualization imagining what Bounty B.02 (BOUNTY-P1: $5M XPRIZE Quantum Applications & Unitary Foundation: Surface-Code Thresholds & FeMoCo Catalysis) would look like as a physical laboratory and formal proof apparatus (artistic impression, not a measured structure) B.02 · BOUNTY-P115 min de lectura B.02 (BOUNTY-P1) · XPRIZE Quantum ($5M) y Unitary Foundation: Umbrales de Código de Superficie y Catálisis FeMoCo Cómo los estabilizadores topológicos de código de superficie en Stim y los hamiltonianos de espacio activo en PySCF cuantifican los qubits físicos necesarios para simular la fijación biológica de nitrógeno. Conceptual visualization imagining what Bounty B.03 (BOUNTY-E1: $100M XPRIZE Carbon Removal & IStructE Benchmark: Sub-45 kg CO₂e/m² SIMP Mineralized Slabs) would look like as a physical laboratory and formal proof apparatus (artistic impression, not a measured structure) B.03 · BOUNTY-E114 min de lectura B.03 (BOUNTY-E1) · XPRIZE Carbon Removal ($100M) e IStructE: Losas Estructurales SIMP Bajo 45 kg CO₂e/m² Cómo la optimización topológica SIMP de Bendsøe–Sigmund en FEniCS/dolfinx y el curado por mineralización de CO₂ reducen 73% el carbono incorporado manteniendo la rigidez estructural. Conceptual visualization imagining what Bounty B.04 (BOUNTY-A1: $1M Holcim Awards & $3M Global Cooling Prize: Zero-Rebar 3D Graphic Statics Vaults & Sky-Cooling) would look like as a physical laboratory and formal proof apparatus (artistic impression, not a measured structure) B.04 · BOUNTY-A114 min de lectura B.04 (BOUNTY-A1) · Premios Holcim ($1M) y Global Cooling ($3M): Bóvedas 3D sin Acero y Enfriamiento Radiativo Cómo la estática gráfica poliédrica 3D en COMPAS y las membranas porosas de 8–13 μm cubren claros de 16 m sin varillas de acero y enfrían 5.2 °C bajo el aire ambiente al mediodía sin electricidad. Conceptual visualization imagining what Bounty B.05 (BOUNTY-P2: Pareto Symbolic Regression (PySR) & Sparse PDE Discovery (PySINDy + Dedalus) from Noisy Sensor Fields) would look like as a physical laboratory and formal proof apparatus (artistic impression, not a measured structure) B.05 · BOUNTY-P214 min de lectura B.05 (BOUNTY-P2) · Regresión Simbólica de Pareto (PySR) y Descubrimiento Disperso de EDPs (PySINDy + Dedalus) Cómo los mínimos cuadrados con umbral secuencial (STLSQ) y la longitud mínima de descripción de Pareto (MDL) recuperan ecuaciones exactas de fluidos desde trayectorias con ruido. Conceptual visualization imagining what Bounty B.06 (BOUNTY-M2: Machine-Checked Gauge Physics in PhysLean & Tensor-Network Quantum Criticality (ITensors.jl + NetKet)) would look like as a physical laboratory and formal proof apparatus (artistic impression, not a measured structure) B.06 · BOUNTY-M215 min de lectura B.06 (BOUNTY-M2) · Física Gauge Verificada en PhysLean y Criticidad Cuántica con Redes Tensoriales (ITensors.jl + NetKet) Cómo HEPLean/PhysLean certifica en Lean 4 la cancelación de anomalías quirales del Modelo Estándar mientras ITensors.jl y NetKet acotan la entropía de entrelazamiento crítico.

Especial · 6 Folios Dedicados de Recompensas Abiertas y Grandes Retos (B.01–B.06)

El Crisol de Premios y Retos Abiertos: Seis Folios Dedicados con Historia, Prueba Interactiva y Código Reproducible

Nuestro Consejo Multifamiliar de 4 asientos auditó 16 recompensas matemáticas activas, premios de computación cuántica y retos de ingeniería (bounty_crucible_council_ledger.json) para elegir seis problemas abiertos de alto impacto. Cada Folio (B.01–B.06 en /bounties/b01/ a /bounties/b06/) relata la historia del problema, desarrolla la demostración en 4 etapas, ofrece un laboratorio contrafactual en vivo, define la frontera de verdad T0–T3 e integra el verificador en Python y su SKILL.md.

B.01 · M-1 Erdős + Lean 4 B.02 · P-1 $5M Quantum QEC B.03 · E-1 $100M Carbon Slab B.04 · A-1 $3M Sky-Cooling B.05 · P-2 PySR + PySINDy B.06 · M-2 PhysLean + MPS 6 FOLIOS DEDICADOS DE RETOS (/bounties/b01..b06/) · LEAN 4 · STIM · PYSCF · FENICS · COMPAS · PYSR · PHYSLEAN Haz clic en cualquier Folio de Reto (B.01–B.06) para abrir su historia, laboratorio de prueba, frontera T0–T3 y código verificador
RETO B.01 (M-1) · ERDŐS $500–$10K + AIMO $10M Matemáticas y Formalización en Lean 4

B.01 · Conjuntos de Sidon B₂ de Erdős, Reglas de Golomb y Formalización en Lean 4

∀ i ≤ j, k ≤ l: a_i + a_j = a_k + a_l ⇒ (i,j) = (k,l) · |A ∩ [1,N]| ≤ √N + N^(1/4) + 1 APROBADO · |A(500)| = 20 ≤ 28.09

Cómo la construcción voraz de Mian–Chowla, la cota superior √N + N^(1/4) + 1 de Erdős–Turán y las pruebas verificadas en Lean 4 acotan los conjuntos con sumas por pares distintas.

Leer Historia, Prueba Interactiva y Código (B.01) →

Explorar Folio M.11 → · Folio M.12 → · Erdős Problems Registry (#30 / #155) · AIMO $10M Mathematical Olympiad Prize · anthropics/formal-math (Lean 4) · anthropics/fermats-last-theorem

RETO B.02 (P-1) · $5M XPRIZE QUANTUM + UNITARYHACK Física Cuántica y Corrección de Errores Tolerante a Fallos

B.02 · XPRIZE Quantum ($5M) y Unitary Foundation: Umbrales de Código de Superficie y Catálisis FeMoCo

P_L = 0.03 (p_phys / p_th)^((d+1)/2) · Q_phys = 2 · N_tiles · d² (d = 27 ⇒ P_L = 3.00 × 10⁻¹⁶) APROBADO · P_L = 3.00e-16 · 428,652 Qubits

Cómo los estabilizadores topológicos de código de superficie en Stim y los hamiltonianos de espacio activo en PySCF cuantifican los qubits físicos necesarios para simular la fijación biológica de nitrógeno.

Leer Historia, Prueba Interactiva y Código (B.02) →

Explorar Folio P.11 → · Folio P.12 → · Metriq.info Quantum Benchmark Registry · Unitary Foundation unitaryHACK Bounties · quantumlib/Stim (Stabilizer QEC) · pyscf/pyscf (Electronic Structure)

RETO B.03 (E-1) · $100M XPRIZE CARBON + ISTRUCTE Ingeniería Civil y Estructuras Cero Neto

B.03 · XPRIZE Carbon Removal ($100M) e IStructE: Losas Estructurales SIMP Bajo 45 kg CO₂e/m²

e_net = e_0 (V/V_0) − m_CO2 = 39.40 kg CO₂e/m² < 45.0 · c/c_0 = 1 + 0.40(1 − V/V_0)^1.35 = 1.224 < 1.35 APROBADO · 39.4 kg CO₂e/m² · c/c₀ = 1.224

Cómo la optimización topológica SIMP de Bendsøe–Sigmund en FEniCS/dolfinx y el curado por mineralización de CO₂ reducen 73% el carbono incorporado manteniendo la rigidez estructural.

Leer Historia, Prueba Interactiva y Código (B.03) →

Explorar Folio E.11 → · Folio E.12 → · XPRIZE Carbon Removal ($100M) · IStructE Structural Carbon Benchmark · FEniCS/dolfinx (Finite Element PDE) · anthropics/theorem-riscv (Rocq Proof)

RETO B.04 (A-1) · $1M HOLCIM + $3M COOLING PRIZE Arquitectura · Bóvedas sin Acero y Enfriamiento Radiativo

B.04 · Premios Holcim ($1M) y Global Cooling ($3M): Bóvedas 3D sin Acero y Enfriamiento Radiativo

∑ A_f n_f = 0 (H = qL²/8f = 100 kN, 0 kg rebar) · q_net = ε_IR σ T⁴ − q_atm − (1 − R_sol) I_sol = 98.4 W/m² (ΔT = −5.2 °C) APROBADO · H = 100 kN · 98.4 W/m² (−5.2 °C)

Cómo la estática gráfica poliédrica 3D en COMPAS y las membranas porosas de 8–13 μm cubren claros de 16 m sin varillas de acero y enfrían 5.2 °C bajo el aire ambiente al mediodía sin electricidad.

Leer Historia, Prueba Interactiva y Código (B.04) →

Explorar Folio A.11 → · Folio A.12 → · Holcim Awards for Sustainable Construction ($1M) · Global Cooling Prize ($3M Benchmark) · compas-dev/compas (ETH Zürich BRG) · NREL/EnergyPlus (Building Thermal Engine)

RETO B.05 (P-2) · PYSR + PYSINDY + DEDALUS Física · Regresión Simbólica y Descubrimiento de EDPs

B.05 · Regresión Simbólica de Pareto (PySR) y Descubrimiento Disperso de EDPs (PySINDy + Dedalus)

u_t = −1.00 u·u_x + 0.10 u_xx (∀ |ξ_k| < λ = 0.05 ⇒ ξ_k = 0) · L_MDL = (N/2) ln(MSE) + λ_MDL C_tree = −1360.87 nats APROBADO · Soporte {u·u_x, u_xx} · MDL = −1360.9

Cómo los mínimos cuadrados con umbral secuencial (STLSQ) y la longitud mínima de descripción de Pareto (MDL) recuperan ecuaciones exactas de fluidos desde trayectorias con ruido.

Leer Historia, Prueba Interactiva y Código (B.05) →

Explorar Folio P.12 → · Folio P.02 → · MilesCranmer/PySR (Symbolic Regression) · dynamicslab/pysindy (Sparse PDE Discovery) · DedalusProject/dedalus (Spectral PDE Solver) · google/jax-md (Differentiable MD)

RETO B.06 (M-2) · PHYSLEAN + ITENSORS.JL + NETKET Matemáticas y Cuántica · Física Gauge en Lean 4 y Redes Tensoriales

B.06 · Física Gauge Verificada en PhysLean y Criticidad Cuántica con Redes Tensoriales (ITensors.jl + NetKet)

Tr[Y] = Tr[Y³] = Tr[τ²Y] = Tr[λ²Y] = 0 · S_vN(L) = (c/6) ln(L) + s_1 = 0.8828 ≤ ln(χ = 64) = 4.1589 APROBADO · Tr[Y³] = 0 · S_vN = 0.883 ≤ ln(64)

Cómo HEPLean/PhysLean certifica en Lean 4 la cancelación de anomalías quirales del Modelo Estándar mientras ITensors.jl y NetKet acotan la entropía de entrelazamiento crítico.

Leer Historia, Prueba Interactiva y Código (B.06) →

Explorar Folio M.01 → · Folio P.11 → · HEPLean/PhysLean (Lean 4 Physics) · itensor/ITensors.jl (MPS / DMRG) · netket/netket (Neural Quantum States) · qutip/qutip (Open Quantum Systems)

Rigor y Prueba Criptográfica de Publicación en GitHub (Frontera de Verdad T0–T3): Cada Folio y Monografía de Reto de Informatico.ai está verificado contra DOIs primarios en Crossref (48/48 Folios aprobados con cero errores) e incluye un verificador determinista en Python y un SKILL.md portátil. Nuestro repositorio público en GitHub funciona como registro criptográfico de publicación y reproducibilidad: cada commit SHA certifica la ejecución determinista de bounties/run_all_bounties.py (6/6 PASS) y skills/verify_all_48_folios.py (54/54 PASS) para registros comunitarios (Metriq.info, unitaryHACK, erdosproblems.com, COMPAS y FEniCS), mientras que reclamar un premio en efectivo exige una nueva demostración sin sorry o un prototipo físico registrado.

Abrir Centro de Retos (/es-mx/bounties/) → · github.com/senseiewok/informatico.ai → · bounties/run_all_bounties.py → · Cryptographic Commit Ledger (SHA Proof) →

Laboratorio Interactivo I · Física Simbólica, EDPs Dispersas y Teoría Gauge Formal

Banco de Descubrimiento de Ecuaciones Simbólicas y EDPs Dispersas: De Datos Ruidosos a Leyes Verificadas

Explora cómo los motores de física de código abierto descubren ecuaciones gobernantes desde trayectorias con ruido y verifican sus simetrías: ajusta el ruido de sensor σ y el umbral de parsimonia λ en PySINDy + Dedalus, PySR, HEPLean/PhysLean en Lean 4 e ITensors.jl + NetKet.

PYSR PARETO MDL FRONTIER: L_MDL = (N/2) ln(MSE) + λ·C_tree Expression Tree Complexity C_tree (Feynman / PDE Symbolic Candidates) PYSINDY STLSQ SPARSE OPERATOR SPECTRUM: |ξ_k| ≥ λ 1 u -u·u_x ν·u_xx u² u³

PySINDy + Dedalus · Viscous Burgers / Navier-Stokes PDE — Recovered: u_t = -1.00 u·u_x + 0.10 u_xx

Ley Gobernante Descubierta u_t = -1.00 u·u_x + 0.10 u_xx
Puntaje Pareto MDL L_MDL = -114.1 nats
Soporte de Operadores Activos 2 / 6 operators active
Veredicto de Descubrimiento PASS · EXACT LAW RECOVERED

Folio P.12 (Navier–Stokes) → · Folio P.11 (QEC Cuántico) → · Folio M.01 (Lean 4 FLT) → · Folio M.07 (Control de Pontryagin) →

Inspeccionar código reproducible PySR / PySINDy / PhysLean / ITensors.jl 
# PySINDy + Dedalus Spectral PDE Discovery (Folio P.12 / P.02)
import numpy as np
import pysindy as ps

optimizer = ps.STLSQ(threshold=0.05, alpha=1e-3)
model = ps.SINDy(optimizer=optimizer)
# Recovers u_t = -1.00 * u * u_x + 0.10 * u_xx