Engineering · Architecture · Physics · Mathematics · Open Bounties
48 long-form essays and 6 dedicated Open-Bounty proof monographs. Each one tells the human story, builds the everyday intuition, and hands you a live model, Python verifier, and AI SKILL.md to push, pull and test.
Rotating Homepage Cover · 12-Hour Cycle Across Physics, Math, Architecture & Engineering
Walks from everyday 1.09 × 10⁻¹⁶ m⁻¹ optical-clock slopes through 10⁻¹⁴ kg quantum-gravity interferometers, Page–Wootters relational time, and GW250114 Kerr horizons under six machine-checked epistemic badges.
dτ/dt = √(1 + 2Φ/c²) · (Ĥ_C ⊗ I_S + I_C ⊗ Ĥ_S)|Ψ⟩⟩ = 0
Couples Lean 4 dependent-type verification of Standard Model chiral gauge anomaly cancellation (Σ Y³ = 0, Σ Y = 0) with Matrix Product State entanglement bounds.
Tr({Tᵃ, Tᵇ} Tᶜ)_L − Tr({Tᵃ, Tᵇ} Tᶜ)_R = 0 · S_vN ≤ log χ
Traces how microscopic Newton hard-sphere collisions converge rigorously across mesoscopic Boltzmann kinetic equations to macroscopic compressible and incompressible fluid laws.
∂_t f + v·∇_x f = (1/Kn) Q(f,f) · Kn → 0
Maps multiscale tube-incidence geometry (dim_H = dim_M = 3 in ℝ³) and Guth–Maynard large-value Dirichlet polynomial bounds tightening Riemann zeta zero-density exponents.
dim_H(K) = dim_M(K) = 3 · N(σ, T) ≪ T^((30/13)(1−σ)+ε)
Examines machine-checked fine-grained complexity reductions, eight-square bilinear rank compression, and Module-LWE lattice geometry securing post-quantum key encapsulation.
b = A s + e (mod q) · R_ℤ(8×8) ≤ 28
Maps Maxwell–Rankine reciprocal polyhedra and concave Airy stress functions onto compression-only tile vaults that cut embodied floor carbon by over 60 percent.
σ_xx = ∂²Φ/∂y² · σ_yy = ∂²Φ/∂x² · det(H_Φ) > 0
Unites hardware-level theorem proving with quadratic-program Control Barrier Functions (CBF-QP) and Kuramoto inverter synchronization for resilient power grids.
sup_u [L_f h(x) + L_g h(x) u] ≥ −α(h(x))
Delivers open-format STEP AP242, 3MF, DXF, and 2-manifold GLB generators with byte-level stdlib verifiers so independent studios own their geometry end to end.
V − E + F = 2(1 − g) · Σ F_ext + Σ R_support = 0
Featured Series · Physics · 13 Steps · 110 Audited Claims
Drop an apple from rest and ask what pushes it downward: in general relativity, nothing pushes. A clock on an upper shelf ticks slightly faster than a clock on the floor—about 1.09 × 10⁻¹⁶ faster per metre at Earth’s surface—and a freely falling body simply follows the straightest worldline that maximises its own elapsed proper time. Our thirteen-step series begins with that everyday clock-rate slope and walks, one open question at a time, through optical-lattice interferometry, 10⁻¹⁴ kg table-top quantum-gravity witnesses and the 33 µm Eöt-Wash torsion-balance recast, Diósi–Penrose objective-collapse bounds, timeless Wheeler–DeWitt relational clocks, Hawking–Unruh horizon thermodynamics, GW250114 Kerr black-hole ringdown spectroscopy, Page-curve island unitarity, electromagnetic pointer-state einselection (scaling as R⁶T⁹), and the 84.3% non-relativistic dark-matter clock baseline.
Where standard relativity and quantum mechanics meet without laboratory data, prose alone easily blurs textbook measurements with mathematical extrapolations. Every substantive claim across T.00–T.12 therefore carries one of six machine-checked badges—MEASURED, DERIVED (NOT MEASURED), SINGLE RESULT, BOUND, PROPOSED, or OPEN—verified offline against a 108-row primary-literature ledger and sixteen zero-dependency Python physics kernels with planted-defect knockouts.
Featured Companion Synthesis · 9 Standalone Essays · ES.01–ES.09
Three editorial movements—Foundations & Bounds (ES.01–ES.03), Constraints & Formal Proof (ES.04–ES.06), and Horizons, Identifiability & Multipartite Witnesses (ES.07–ES.09)—tracing how fluctuation-dissipation floors, DERIVED (NOT MEASURED) parent gates, Q_TUR ≥ 2 bounds, rank-nullity rigidity, Doob conditional survival, Page–Wootters / Lean 4 proofs, the 73.14 µm parallel horizon, Fisher Schur-complement identifiability, and tripartite Mermin / active-clock witnesses unite falling clocks, stone vaults, and living pores.
ES.01 · Cross-Scale14 min read
The Mesoscopic Floor: Falling Diamonds, Thermal Baths, and Polymer Sieves
One fluctuation–dissipation floor links 4.0 K vacuum decoherence of 10⁻¹⁴ kg falling diamonds to Ogston–Amsden steric sieving of 100 nm probes in 310.15 K hydrogels.
ES.02 · Cross-Scale13 min read
Derived, Not Measured: Why Machine-Precision Math Never Substitutes for an Experiment
Three kinds of scientific absence—unbuilt proposals, unresolved coordinates, and quantities derived from a measured parent—checked by an 8-mutant epistemic lattice.
ES.03 · Cross-Scale14 min read
Barriers, Pores, and Clocks
Why regular classical ticks require Q_TUR ≥ 2, where optical Ramsey clocks pay their entropy bill, and how ℓ_B = √κ and exp(3) = 20.09 link civil mortar to nanoscale pores.
ES.04 · Cross-Scale14 min read
Tensegrity, Microcausality, and Zero Modes: How Constraint Rank Locks Space Frames and Quantum Subsystems
One exact rank-nullity index eliminates 6 floppy modes in 8-node space trusses and collapses 9 non-local su(4) refactorization modes to lock BMV entanglement negativity at 0.078162.
ES.05 · Cross-Scale15 min read
Islands, Blinders, and Conditional Survival: Three Ways Entropy Curves Bend
Separating unitary Page-curve saddles (2.079 nats peak, 0% discard), undressed detector blinders (4.159 nats), and Doob conditional survival (1.726 nats KL cost, 82.20% discard) on an N = 6 chain.
ES.06 · Cross-Scale15 min read
Coupled Timeless Constraints: Wheeler–DeWitt Clocks, 33 µm Torsion Walls, Bilateral Echoes, and Zero-Sorry Proof
A 64 × 64 Wheeler–DeWitt nullspace, the σ ≤ 33 µm Eöt-Wash recast, 3.31 × 10¹⁶× Oppenheim torque suppression, bilateral X_A ⊗ X_B echoes, and 10 zero-sorry Lean 4 theorems.
ES.07 · Cross-Scale16 min read
The Parallel Horizon & The Loophole-Free Quantum Island: Exact Bounds, Cryogenic Valleys, and Why This Is Not a Theory of Everything
Closed-form parallel Diósi–Penrose block diagonalization (1.5471 σ to 2.2109 σ), the 73.14 µm universal ceiling, the D = 75 µm quantum island, 2.04 K cryogenic valleys, 90° null controls, and 9 Lean 4 theorems.
ES.08 · Cross-Scale16 min read
Schur Complements & Nuisance Identifiability: Floating Calibrations, 3-Point Optimal Designs, and Why Sloppy Fits Still Pin Short-Range Gravity
Exact Fisher Schur-complement projection (σ_95^⊥ = 32.87–32.98 µm, 1.14% residual), 3-point Kiefer–Wolfowitz D-optimal designs (13.20× gain at 25 µm), cross-scale sloppy spectra, and 10 Lean 4 theorems.
ES.09 · Cross-Scale17 min read
Multipartite Witnesses, Scaling Tomography & Active Clocks: Separating Quantum Gravity from Classical Hybrids Beyond Two Bodies
Exact 8 × 8 equilateral-prism Mermin witness (3.6741 > 2√2 = 2.8284 at 2.0 K), 34.93 µm 3-body hybrid bound, 165.8× / 27,500× ytterbium composition tomography, active ²²⁹Th clocks, and 9 Lean 4 theorems.
Pillar I · 12 essays
How cities stand, breathe and move: hospitals that stay still in an earthquake, tunnel boring machines under old brick streets, bridges that outsmart the wind, and concrete that repairs itself.
See all 12 →
E.0122 min read
Stokes–Brinkman Porous Continuum, Helmholtz–Hodge Decomposition, and Percolation
How viscous shear and Darcy drag balance over the Brinkman screening length √κ across porous limestone, capillary-active mortars, and consolidated geotechnical strata.
E.0222 min read
Herschel–Bulkley Yield-Stress Rheology: High-Performance Concrete Pumping & Tremie Placement
How Winslow Herschel, Ronald Bulkley, and Eugene Bingham's non-linear yield-stress rheology governs pipe pressure drops, central plug-flow cores, and zero-blockage pumping in civil infrastructure.
E.0322 min read
Sub-Wavelength Acoustic Metamaterial Helmholtz Arrays and Viscothermal Boundary-Layer Damping
How coiled-space quarter-wave resonators and micro-slit viscothermal boundary layers δ_v = √(2ν/ω) achieve near-unity low-frequency sound absorption in 1/19th of a wavelength.
E.0422 min read
Counter-Current Enthalpy Recovery Exchangers: Effectiveness–NTU, Membrane Sorption, and Frost Limits
Coupled sensible heat and latent water-vapor transfer across selective polymer-electrolyte membranes—maintaining 88.2% sensible and 79.4% latent recovery without exhaust-side frost occlusion.
E.0522 min read
Terzaghi Soil Mechanics, CFA Augercast Deep Foundation Piling & Liquefaction Surcharge
How Karl Terzaghi's effective stress principle σ'_v = σ_v − u, hydrodynamic consolidation ∂u/∂t = c_v ∂²u/∂z², and Continuous Flight Auger (CFA) deep foundations govern structural settlement and liquefaction.
E.0622 min read
Nonlinear Structural Dynamics, ASCE 7-22 Inelastic Response Spectra & Seismic Base-Isolation Dampers
How Maurice Biot's earthquake spectra, Newmark–Hall inelastic ductility, and William Robinson's bilinear lead-rubber seismic isolators decouple critical hospitals and laboratories from ground motion.
E.0722 min read
Long-Span Suspension Bridge Aeroelastic Flutter, Scanlan Derivatives & Physics-Informed Neural Network (PINN) Digital Twins
How Robert Scanlan's eighteen motion-dependent flutter derivatives govern twin-box bridge girder stability under extreme winds, paired with Physics-Informed Neural Network virtual sensing from sparse accelerometers.
E.0822 min read
Earth-Pressure-Balance Tunnel Boring Machines (EPB-TBM), Peck–Mair Gaussian Settlement Troughs & GNN Subsurface Digital Twins
How Ralph Peck and Robert Mair's conservation-of-volume Gaussian settlement trough S(y) = S_max exp(−y² / 2i²) governs urban underground tunneling, coupled with Graph Neural Network subsurface digital twins.
E.0922 min read
Autogenous Bacterial & Crystalline Self-Healing Concrete: Lucas–Washburn Capillary Imbibition, Fickian–Michaelis–Menten Calcite Precipitation & Ultrasonic Coda-Wave Digital Twins
Continuing Folio E.01's capillary pore physics and E.07's structural sensing: how Bacillus pseudofirmus spores and crystalline admixtures seal flexural microcracks via CaCO₃ mineralization.
E.1022 min read
3D Concrete Printing (3DCP) Extrusion Rheology & Buildability: Roussel Thixotropic Structuration, Elastic Buckling vs. Plastic Collapse & Robotic Toolpath Control
Continuing Folio E.02's concrete slickline rheology and A.01's funicular shells: how Nicolas Roussel's thixotropic structuration rate A_thix and Suiker's buckling laws govern formwork-free robotic construction.
E.1122 min read
Continuum Topology Optimization & Skyscraper Inerter Damping: SIMP Penalization, Michell Funicular Trusses & Trabecular Bone Mechanics
Continuing Folio E.10's robotic 3D concrete printing and A.01's funicular vaults: how Bendsøe–Sigmund SIMP topology optimization, Michell minimum-weight trusses, and J-damper inerter flywheels cut structural concrete and steel by up to 70%.
E.1222 min read
Machine-Checked Silicon-to-Grid Safety: 180M-Line Rocq RISC-V Verification, Control Barrier Functions & Firefly-Synchronized Renewable Grids
Synthesizing Folio E.06's critical infrastructure protection, P.02's Kuramoto oscillators, and M.07's optimal control: how Anthropic's machine-checked RISC-V circuits, Ames Control Barrier Functions, and Virtual Synchronous Machine inverters stabilize 100%-renewable power grids.
Pillar II · 12 essays
Light, color and living envelopes: Barragán's courtyards, roofs that send heat straight to the night sky, stone vaults that stand for centuries, and skins that open and close with the air.
See all 12 →
A.0122 min read
Funicular Thrust Surfaces, Maxwell–Cremona Duals, and 1:5 Nodal Tectonics
How compression-only stone and cross-laminated timber shells stand under Heyman's Middle-Third Safe Theorem (|e| ≤ t/6), paired with a 1:5 ISO 10211 condensation-free springer bearing node.
A.0222 min read
Reciprocal Timber Gridshells (Nexorades), Eccentric Lap Moments, and 1:5 Shear-Block Joinery
Structural kinematics of bolt-free reciprocal timber frames where each beam rests on its neighbor with engagement eccentricity e_z, converting global shell thrust into localized bending.
A.0322 min read
Double-Skin Facade Buoyancy Stack Ventilation, Cavity Plumes, and 1:5 Acoustic Damper Louvers
Thermosiphon stack draft Δp_stack = ρ_0 g H β ΔT and solar shading positioning inside multi-story ventilated glass cavities—eliminating mechanical cooling loads without overheating.
A.0422 min read
From Archigram's Plug-In Megastructures to British High-Tech Exoskeletons: Gerberette Cantilevers, Maxwell Space Frames & Shearing-Layer Pods
How Peter Cook and Ron Herron's utopian 1960s Archigram manifestos mentored and catalyzed Richard Rogers, Renzo Piano, Peter Rice, and Norman Foster—turning Plug-In City into cast-steel exoskeletons, column-free floor plates, and crane-replaceable clinical/lab modules.
A.0522 min read
Acoustic Sabin–Eyring Reverberation, Diffusive Coffered Vaults, and Speech Intelligibility (STI ≥ 0.68)
How Wallace Sabine's hyperbolic decay law, Carl Eyring's logarithmic absorption, and Manfred Schroeder's prime-sequence coffers eliminate clinical noise fatigue.
A.0622 min read
Net-Zero Water & Greywater Constructed Wetlands: Subsurface Darcy Filtration, UV-C Photolysis, and Pathogen-Free Plumbing (CSI 22 13 00)
How Kadlec–Knight subsurface reed beds recycle 95% of building greywater outside while 60 °C thermal loops and 254 nm UV-C reactors eradicate Pseudomonas and Legionella inside.
A.0722 min read
Luis Barragán's Chromatic Tectonics, Kubelka–Munk Pigment Radiosity & Emotional Spatial Wavefields
How Luis Barragán, Chucho Reyes Ferreira, and Josef Albers transformed raw mineral pigments (Rosa Mexicano, Cobalt Ultramarine, Cadmium Ochre) and Mexican sunlight into living electromagnetic wave cavities.
A.0822 min read
AI-Designed Daytime Radiative Sky-Cooling Photonic Roofs (8–13 μm Window) & Stefan Phase-Change Envelopes
Extending architectural wave optics from visible color (0.38–0.78 μm) to the 8–13 μm atmospheric infrared window—beaming building heat straight into 3 K deep space under peak midday sun.
A.0922 min read
Bending-Active & Hygroscopic Programmable Timber Skins: Timoshenko Bilayer Curvature, Orthotropic Moisture Swelling & Zero-Energy Climate Facades
Completing the timber-and-climate thread of Folios A.02, E.04, and A.08: how Stephen Timoshenko's bilayer curvature theorem and Achim Menges's cross-laminated beech skins actuate building envelopes with zero motor energy.
A.1022 min read
Kinetic Origami & Miura-Ori Deployable Biomimetic Facades: Isometric Crease Kinematics, Auxetic Poisson Ratio Inversion & Solar Mashrabiya Envelopes
Completing the deployable exoskeleton and daylighting threads of Folios A.04, A.03, and M.05: how Koryo Miura and Schenk & Guest's folded metamaterials drive adaptive solar Mashrabiya envelopes.
A.1122 min read
3D Polyhedral Graphic Statics & Airy Stress Surfaces: Maxwell–Rankine Reciprocal Polyhedra, Guastavino Tile Vaulting & Zero-Rebar Floors
Continuing Folio A.01's 2D catenary thrust lines and A.02's reciprocal frames: how James Clerk Maxwell's 1864 Airy stress surfaces and Block Research Group's open-source COMPAS 3D graphic statics design compression-only vaults that cut floor concrete by 70%.
A.1222 min read
Tensegrity Cable-Strut Domes & Radiative Sky-Cooling Envelopes: Pellegrino Equilibrium Nullspaces, Prestress Stiffening & Zero-Energy Cooling
Synthesizing Folio A.04's lightweight megastructures, A.08's 8–13 μm radiative sky cooling, and A.10's deployable skins: how Kenneth Snelson and Buckminster Fuller's floating-compression tensegrity domes pair with photonic membranes to cool civic canopies without electricity.
Pillar III · 12 essays
The physics hiding in plain sight: Formula 1 ground effect, why pearlescent paint shifts color across a fender, the flow of soft matter, and how waves of light build the colors we see.
See all 12 →
P.0122 min read
Non-Equilibrium Fluctuation-Dissipation Theorems and Allosteric Gating Energetics
How Keizer's non-equilibrium fluctuation theory, Harada-Sasa dissipation, and Hill cycle flux diagrams quantify the energetic efficiency of ABC-transporter gating cycles and allosteric rescue.
P.0222 min read
Active Matter Hydrodynamics and Ciliary Metachronal Wave Synchronization
Low Reynolds number Stokesian hydrodynamics, Kuramoto phase-lag synchronization, and the collective propulsion velocity of human airway ciliary carpets.
P.0322 min read
Soft Matter Rheology and Anomalous Subdiffusion in Entangled Mucin Hydrogels
Carreau-Yasuda shear-thinning, reptation tube dynamics, and anomalous subdiffusion exponents of gene delivery nanoparticles navigating the airway mucus mesh.
P.0422 min read
Electrokinetics, Donnan Equilibrium, and the Catastrophic Osmotic Collapse of the Periciliary Layer
Coupled Nernst-Planck electrodiffusion, Donnan swelling pressures, and trans-epithelial liquid flux determining the critical hydration threshold of airway surfaces.
P.0522 min read
Quantum WKB Barrier Penetration, Proton-Coupled Electron Transfer, and Deaminase Base-Editing Catalysis
How George Gamow's WKB tunneling action integral, Rudolph Marcus's reorganization energy, and kinetic isotope effects (k_H/k_D = 6.8) govern base-editor deamination of CFTR nonsense and splice mutations.
P.0622 min read
de Gennes Polymer Reptation (D_rep ~ N⁻²), Doi–Edwards Tube Relaxation, and Kilobase Genetic Cargo Transport
How Pierre-Gilles de Gennes's topological tube model and Doi–Edwards viscoelastic relaxation govern the slithering transport of 4.5 kb CFTR mRNA and prime-editing polyplexes through entangled hydrogels.
P.0722 min read
Formula 1 Ground-Effect Venturi Aerodynamics, 2026 Active X/Z-Mode Wings, Outwash Vortex Sealing & Porpoising Limit Cycles
How underfloor converging–diverging Venturi tunnels, Lamb–Oseen edge vortices, and 2026 FIA Active Aerodynamics (Z-Mode cornering vs. X-Mode drag shedding) balance −C_p suction against Hopf porpoising stall.
P.0822 min read
Electromagnetic Color Wave Physics: Bragg Thin-Film Interference, Gonioapparent Automotive Pearlescence & Barragán Stucco Optics
How transverse electromagnetic waves (λ ∈ [380, 780] nm) produce angle-dependent color flop in TiO₂-mica automotive pearlescent finishes via Bragg interference vs. angle-invariant serenity in Luis Barragán's mineral lime walls.
P.0922 min read
Electrohydrodynamic Taylor Cones (49.3°), Rayleigh Fission Limits & Precision Monodisperse Aerosol Jet Physics
Completing the biophysical delivery sequence of Folios P.03, P.04, and P.06: how Sir Geoffrey Taylor's P_{1/2}(cos θ_0) = 0 equilibrium cone and Rayleigh charge limits govern precision aerosol generation.
P.1022 min read
Topological Photonics, Haldane–Raghu Photonic Chern Insulators, Berry Curvature & Backscatter-Free Chiral Edge Waveguides
Synthesizing the wave-physics archive of Folios E.03, A.05, A.08, and P.08: how Haldane & Raghu's non-zero Berry curvature Ω_n(k) and integer Chern numbers route waves around sharp defects with zero reflection.
P.1122 min read
Fault-Tolerant Quantum Computing & Clean Nitrogen Fixation: Surface-Code Stabilizers, Non-Abelian Anyon Braiding & FeMoCo Catalysis
Continuing Folio P.05's quantum tunneling and P.10's topological invariants: how surface-code parity checks in Stim, non-Abelian Majorana braiding, and PySCF active-space quantum simulation unlock ambient-temperature nitrogen fertilizer without fossil-fuel steam reforming.
P.1222 min read
Hilbert's Sixth Problem Resolved: Hard-Sphere Boltzmann Kinetics to Navier–Stokes Continuum & Neural Climate Operators
Synthesizing Folio P.01's statistical mechanics, P.07's aerodynamics, and M.09's continuum transport: how Yu Deng, Zaher Hani, and Xiao Ma (arXiv:2503.01800) rigorously derived incompressible Navier–Stokes from Newtonian particle collisions across arbitrary macroscopic times.
Pillar IV · 12 essays
The hidden architecture of logic: proofs checked by machines, optimal control around a racing lap, the curved geometry of color, and the shape of data.
See all 12 →
M.0122 min read
Modularity Lifting, Spectral Zero-Density Barriers, and #3-SAT Sparsification
How Anthropic's 29,500-theorem Lean 4 Fermat's Last Theorem proof and Taylor-Wiles auxiliary prime patching map onto non-equilibrium Boltzmann landscapes and transmembrane channel allostery.
M.0222 min read
Riemann Zeta Zero-Density Estimates, Large Sieve Inequalities, and XiPrime Spectral Bounds
Inside Anthropic's formal-math Zeta23 and XiPrime Lean 4 proofs: bounding exceptions to the critical line Re(s) = 1/2 and mapping spectral gaps to Markovian channel relaxation.
M.0322 min read
Extremal Cap Sets in F_3^n, Polynomial Method Upper Bounds, and Rank-48 Matrix Tensors
How Google DeepMind's FunSearch (|S| ≥ 512 in F_3^8) and AlphaEvolve (4×4 complex matrix multiplication in 48 scalar multiplications) reshape extremal combinatorics and codon library design.
M.0422 min read
Polynomial Freiman–Ruzsa (PFR) Entropy Calculus and the 22-Million Equational Magma Graph
How Terence Tao and the Lean FRO formalized Marton's conjecture via Ruzsa entropic doubling and mapped all 4,694×4,694 universal algebra magma laws.
M.0522 min read
Neuro-Symbolic Deductive Search (AlphaGeometry 2): Auxiliary Constructions and Allosteric Pocket Triangulation
How coupling a symbolic Deductive Database + Algebraic Rules (DD+AR) engine with neural auxiliary point generation solves Olympiad geometry and locks 3D Cryo-EM pharmacophore triangles.
M.0622 min read
Sub-Cubic Fine-Grained Reductions (3SUM → APSP) and Step-Level Process Supervision (PRM800K)
How Ryan Williams's circuit-polynomial APSP speedup and step-level Process Reward Models prune exponential hallucinations in formal proof trees and genomic off-target scans.
M.0722 min read
Formula 1 350 kW MGU-K Pontryagin Optimal Energy Control, Hamilton–Jacobi–Bellman Lap Time Minimization & Fourier Neural Operator Surrogates
How Lev Pontryagin's Maximum Principle schedules 2026 Formula 1 350 kW electric boost and active-aero X-Mode switching without battery clipping, accelerated 1,000× by Banach-space Fourier Neural Operators.
M.0822 min read
Riemannian Differential Geometry of Color Perception: Helmholtz–Schrödinger Geodesics, MacAdam Metric Tensors & Grassmann Spectral Hilbert Projections
How Hermann Grassmann's infinite-dimensional spectral projection Π: L²([380,780] nm) → ℝ³ creates metamers and Erwin Schrödinger's curved Riemannian metric tensor ds² = g_ij dx^i dx^j defines true geodesic hue paths.
M.0922 min read
Monge–Kantorovich Optimal Transport, Benamou–Brenier Wasserstein-2 Geodesic Fluid Dynamics, Sinkhorn Entropic Regularization & Flow Matching
Synthesizing Folios M.04, M.07, and M.08: how Jean-David Benamou & Yann Brenier proved that quadratic Wasserstein-2 optimal transport is an inviscid Hamilton–Jacobi fluid geodesic.
M.1022 min read
Persistent Homology, Vietoris–Rips Simplicial Filtrations, Betti Barcodes & Topological Percolation Thresholds in Disordered Media
Closing the 40-Folio circle back to Folio E.01's porous percolation and P.03's mucin hydrogels: how Edelsbrunner, Letscher & Zomorodian's persistent homology extracts exact percolating pore throats across scales.
M.1122 min read
Resolution of the 3D Kakeya Conjecture & Breaking Ingham's 1940 Riemann Barrier: Wang–Zahl Graininess, Guth–Maynard 30/13 & Lean 4
Continuing Folio M.02's Lean 4 Zeta23/XiPrime spectral bounds and P.08's wave superposition: how Hong Wang and Joshua Zahl (arXiv:2502.17655) proved dim_H(K) = 3 for 3D Besicovitch needle sets while Larry Guth and James Maynard (arXiv:2405.10935) broke Ingham's 84-year prime-gap barrier.
M.1222 min read
Anthropic Lean 4 Complexity & Post-Quantum Crystal Locks: ETH Refutation (ETHIsFalse), Eight-Square Rank Compression & ML-KEM Lattices
Synthesizing Folio M.01's Lean 4 proofs, M.03's tensor rank, and M.06's fine-grained complexity: how Anthropic's machine-checked ETHIsFalse.lean & EightSquare.lean proofs in anthropics/formal-math pair with NIST FIPS 203 (ML-KEM) post-quantum crystal lattices.
Special Feature · Tech & Tools · The 3D CAD, Open BIM & Small-Studio Toolbox (X.01–X.06)
Six dedicated 3D CAD, fabrication, and open-tool Folios (X.01–X.06 at /toolchain/x01/ through /toolchain/x06/) built to empower small architecture studios, independent civil and mechanical engineers, physicists, and math makers. Every Folio ships a deterministic Python generator (make_x01.py..make_x06.py), downloadable neutral files (.glb, .step, .3mf, .dxf) with a SHA-256 manifest, a live zero-build WebGL2 3D inspector, a stdlib byte-level verifier with planted-defect knockout, and a portable SKILL.md companion.
V = (1/6) ∑_{f ∈ F} v_0 · (v_1 × v_2) · χ = V − E + F = 2 − 2g · 3F = 2E
PASS · χ = 2 · V = 24,000 mm³ · 4/4 FUZZ REJECTED
How a 300-line zero-dependency ES module parses binary glTF 2.0 (GLB) buffers into raw WebGL2 while a Python stdlib verifier proves edge-manifold watertightness, divergence-theorem volume, and malformed-binary rejection.
Inspect 3D Model, Download GLB · STEP · 3MF & Verifier (X.01) →Bridge: Folio E.10 → · Folio M.10 → · Khronos glTF 2.0 Specification (ISO/IEC 12113) · elalish/manifold (Apache-2.0 CSG Kernel)
h_sagitta = R (1 − cos(π / N)) · V_step = V_flange + V_boss = 43,200 mm³ · ΔV / V < 10⁻⁶
PASS · V = 43,200 mm³ · h_32 = 0.0722 mm · AP242 + 3MF + GLB
Empowering solo mechanical and civil engineers to generate exact B-rep solids from version-controlled Python scripts and measure exactly what survives—and what is lost—across STEP AP242, 3MF, and GLB.
Inspect 3D Model, Download GLB · STEP · 3MF & Verifier (X.02) →Bridge: Folio E.10 → · Folio E.06 → · gumyr/build123d (Apache-2.0 Python BREP CAD) · CadQuery/cadquery (Apache-2.0 Parametric CAD)
H = q L² / (8 f) = 27.0 kN · |e(x)| ≤ t / 6 = 66.7 mm · ∑ F_i = 0 · χ = 2 N_v = 14
PASS · 7 VOUSSOIRS · χ = 14 · H = 27.0 kN · STEP+3MF+DXF+GLB
How 1-to-10-person architecture studios can run Jacques Heyman's middle-third kern analysis and Maxwell–Rankine polyhedral form-finding in Python—emitting ready-to-inspect STEP, 3MF, DXF, and GLB voussoir assemblies at zero software cost.
Inspect 3D Model, Download GLB · STEP · 3MF · DXF & Verifier (X.03) →Bridge: Folio A.11 → · Folio A.01 → · compas-dev/compas (MIT Computational Architecture Framework) · Bonsai BIM / IfcOpenShell (Native Open BIM)
∑_{i=1}^4 (−1)^i α_i = 78° − 102° + 102° − 78° = 0° · |M − V| = 2 · V = A_xy · h = 144,000 mm³
PASS · KAWASAKI Δα = 0° · |M−V| = 2 · GLB + 3MF + DXF
Bridging 3D deployable origami kinematics and 2D sheet fabrication: generate a watertight thickened Miura-ori facade shell (.glb, .3mf) and a laser-cutter/plotter crease pattern (.dxf) verified by Kawasaki–Justin and Maekawa's theorems.
Inspect 3D Model, Download GLB · 3MF · DXF & Verifier (X.04) →Bridge: Folio A.10 → · Folio A.04 → · LibreCAD / QCAD Open DXF Ecosystem · Schenk & Guest (2013) Folded Metamaterials (PNAS)
V = ∑_{k=1}^3 (h_k / 3)(A_{k-1} + A_k + √(A_{k-1} A_k)) = 46,080 mm³ · θ_wall = arctan(Δw / Δz) = 14.04° ≤ 45°
PASS · V = 46,080 mm³ · θ_max = 14.04° ≤ 45° · 3MF+GLB+STEP
How to convert variable-density SIMP structural struts into guaranteed 2-manifold 3MF and GLB meshes while auditing frustum volume conservation and build-plate overhang angles θ = arccos(−n · ẑ) in pure Python.
Inspect 3D Model, Download GLB · 3MF · STEP & Verifier (X.05) →Bridge: Folio E.11 → · Folio P.07 → · elalish/manifold (Apache-2.0 Exact Manifold CSG) · 3MF Consortium Core & Beam Lattice Specifications
χ = V − E + F = 16 − 48 + 32 = 0 = 2 − 2g (g = 1, β₁ = 2) · V = (L_o² − L_i²) H = 349,440 mm³ · φ = 0.090
PASS · GENUS g = 1 (χ = 0) · V = 349,440 mm³ · GLB+3MF+STEP
Empowering independent physicists, acoustic designers, and math educators to generate pierced toroidal metamaterial unit cells (.glb, .3mf, .step) and verify Euler–Poincaré χ = V − E + F = 2 − 2g = 0 and Betti numbers (β₀=1, β₁=2, β₂=1) in stdlib Python.
Inspect 3D Model, Download GLB · 3MF · STEP & Verifier (X.06) →Bridge: Folio M.10 → · Folio E.03 → · GUDHI Library (MIT/GPL Topological Data Analysis) · scikit-tda / Ripser.py (MIT Persistent Homology)
Special Feature · 6 Dedicated Open-Bounty & Grand-Challenge Folios (B.01–B.06)
Our 4-Seat Multi-Family Council audited 16 active mathematical bounties, quantum computing prizes, and net-zero engineering awards (bounty_crucible_council_ledger.json) to select six high-impact open problems. Each Bounty Folio (B.01–B.06 at /bounties/b01/ through /bounties/b06/) tells the complete human story of the prize, walks through the 4-stage mathematical derivation, hands you a live counterfactual proof workbench, states the exact T0–T3 truth boundary, and embeds the zero-dependency Python verifier and SKILL.md companion.
∀ i ≤ j, k ≤ l: a_i + a_j = a_k + a_l ⇒ (i,j) = (k,l) · |A ∩ [1,N]| ≤ √N + N^(1/4) + 1
PASS · |A(500)| = 20 ≤ 28.09
How greedy Mian–Chowla constructions, the Erdős–Turán √N + N^(1/4) + 1 upper bound, and machine-checked Lean 4 blueprints bound pairwise-distinct sum sets and prune combinatorial search trees.
Read Bounty B.01 Story, Interactive Proof & Code →Explore 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
P_L = 0.03 (p_phys / p_th)^((d+1)/2) · Q_phys = 2 · N_tiles · d² (d = 27 ⇒ P_L = 3.00 × 10⁻¹⁶)
PASS · P_L = 3.00e-16 · 428,652 Qubits
How Kitaev's topological surface-code stabilizers in Stim and PySCF active-space Hamiltonians quantify the physical qubit footprint needed to simulate room-temperature biological nitrogen fixation.
Read Bounty B.02 Story, Interactive Proof & Code →Explore Folio P.11 → · Folio P.12 → · Metriq.info Quantum Benchmark Registry · Unitary Foundation unitaryHACK Bounties · quantumlib/Stim (Stabilizer QEC) · pyscf/pyscf (Electronic Structure)
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
PASS · 39.4 kg CO₂e/m² · c/c₀ = 1.224
How Bendsøe–Sigmund SIMP topology optimization in FEniCS/dolfinx and carbonated mineral curing slash structural floor embodied carbon by 73% while preserving stiffness compliance.
Read Bounty B.03 Story, Interactive Proof & Code →Explore Folio E.11 → · Folio E.12 → · XPRIZE Carbon Removal ($100M) · IStructE Structural Carbon Benchmark · FEniCS/dolfinx (Finite Element PDE) · anthropics/theorem-riscv (Rocq Proof)
∑ 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)
PASS · H = 100 kN · 98.4 W/m² (−5.2 °C)
How Maxwell–Rankine 3D polyhedral graphic statics in COMPAS and 8–13 μm porous fluoropolymer membranes span 16 m with zero steel rebar and cool 5.2 °C below midday ambient air using zero electricity.
Read Bounty B.04 Story, Interactive Proof & Code →Explore 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)
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
PASS · Support {u·u_x, u_xx} · MDL = −1360.9
How Sequentially Thresholded Least Squares (STLSQ) and Pareto Minimum Description Length (MDL) recover exact viscous Burgers and Navier–Stokes PDEs from noisy velocity trajectories.
Read Bounty B.05 Story, Interactive Proof & Code →Explore 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)
Tr[Y] = Tr[Y³] = Tr[τ²Y] = Tr[λ²Y] = 0 · S_vN(L) = (c/6) ln(L) + s_1 = 0.8828 ≤ ln(χ = 64) = 4.1589
PASS · Tr[Y³] = 0 · S_vN = 0.883 ≤ ln(64)
How HEPLean/PhysLean certifies Standard Model U(1)_Y × SU(2)_L × SU(3)_C chiral anomaly cancellation in Lean 4 while ITensors.jl and NetKet bound critical entanglement entropy.
Read Bounty B.06 Story, Interactive Proof & Code →Explore 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)
Grounding & GitHub Cryptographic Publishing Proof (T0–T3 Truth Boundary): Every Informatico.ai Folio and Bounty Monograph is verified against primary Crossref DOIs (48/48 Folios passing tools/check_folio_citations.py --offline with zero errors) and ships with a deterministic Python verifier and portable SKILL.md. Our public GitHub repository acts as a timestamped cryptographic prior-art and reproducibility ledger: every commit SHA records the exact deterministic execution of bounties/run_all_bounties.py (6/6 PASS) and skills/verify_all_48_folios.py (54/54 PASS) for community registries (Metriq.info, unitaryHACK, erdosproblems.com, COMPAS & FEniCS showcases), while formal cash prize claims require either a new 0-sorry proof of an unsolved problem or a registered physical prototype pilot.
Open Bounties Hub (/bounties/) → · github.com/senseiewok/informatico.ai → · bounties/run_all_bounties.py → · Cryptographic Commit Ledger (SHA Proof) →
Interactive Feature I · Symbolic Physics, Sparse PDEs & Formal Gauge Theory
Explore how open-source physics engines discover governing equations from raw trajectories and verify their symmetries: scrub sensor noise σ and sparsity threshold λ across PySINDy + Dedalus spectral fluid PDEs, PySR Pareto symbolic regression, HEPLean/PhysLean gauge anomaly cancellation in Lean 4, and ITensors.jl + NetKet quantum entanglement scaling.
PySINDy + Dedalus · Viscous Burgers / Navier-Stokes PDE — Recovered: u_t = -1.00 u·u_x + 0.10 u_xx
Folio P.12 (Navier–Stokes) → · Folio P.11 (Quantum QEC) → · Folio M.01 (Lean 4 FLT) → · Folio M.07 (Pontryagin Control) →
# 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_xxInteractive Feature II · Open-Source Physics, Formal Mathematics & Epistemic Grounding Stack
Filter and search the 15 open-source computational physics, symbolic regression, tensor-network, formal Lean 4 theorem-proving, and Scite/Crossref epistemic grounding engines integrated into our Folios. Every engine card is anchored to its primary peer-reviewed DOI and live Scite Smart Citation tally.
f* = argmin [ (N/2) ln(MSE) + λ·C_tree(f) ]
Multi-population evolutionary symbolic regression that discovers closed-form physical laws and constitutive fluid closures from noisy empirical trajectories.
github.com/MilesCranmer/PySR · DOI 10.48550/arXiv.2305.01582 · [Scite ↗] · Folio P.03 →
u_t = Θ(u, ∇u, ∇²u) ξ, min ||u_t - Θξ||₂² + λ||ξ||₀
Recovers parsimonious governing ODEs and PDEs (Navier–Stokes, Kuramoto, reaction-diffusion) via Sequentially Thresholded Least Squares (STLSQ) and weak-form integration.
github.com/dynamicslab/pysindy · DOI 10.21105/joss.02104 · [Scite ↗] · Folio P.12 →
F_i = -∇_{r_i} E_UMA(r_1,…,r_N), MAE(E) ≤ 0.02 eV
Equivariant graph neural force fields trained on 100M+ DFT calculations, delivering ab-initio quantum forces at 100,000x lower computational cost.
github.com/facebookresearch/fairchem · DOI 10.1021/acscatal.0c04525 · [Scite ↗] · Folio P.01 →
∂_t M·X + L·X = F(X) (Chebyshev–Fourier–Spherical)
Solves symbolically specified initial, boundary, and eigenvalue PDEs using sparse Chebyshev, Fourier, and spherical harmonic spectral methods.
github.com/DedalusProject/dedalus · DOI 10.1103/PhysRevResearch.2.023068 · [Scite ↗] · Folio P.12 →
dR = -∇_R U_θ(R) dt + √(2 k_B T dt) dW_t
End-to-end automatic differentiation through Langevin, Nose–Hoover, and Brownian molecular dynamics trajectories for inverse material design.
github.com/google/jax-md · DOI 10.1088/1742-5468/ac3ae9 · [Scite ↗] · Folio P.03 →
a(u, v) = L(v) ∀v ∈ V_h, E(ρ) = E_min + ρ^p (E_0 - E_min)
Compiles Unified Form Language (UFL) weak variational forms into high-performance parallel C++ finite-element kernels for elasticity and SIMP topology optimization.
github.com/FEniCS/dolfinx · DOI 10.1145/3524456 · [Scite ↗] · Folio E.11 →
|Ψ_MPS⟩ = ∑ A^{s_1}_1 … A^{s_N}_N |s⟩, S_vN ≤ ln(χ)
Automatic index-contracting tensor networks for Density Matrix Renormalization Group (DMRG), time-evolving block decimation (TEBD), and strongly correlated quantum matter.
github.com/itensor/ITensors.jl · DOI 10.21468/SciPostPhysCodeb.4 · [Scite ↗] · Folio P.11 →
E_0 = min_θ ⟨ψ_θ|H|ψ_θ⟩ / ⟨ψ_θ|ψ_θ⟩, dρ/dt = -i[H,ρ] + D[L](ρ)
Variational Monte Carlo (VMC) with neural-network quantum wavefunctions on JAX paired with QuTiP master-equation solvers for open quantum systems.
github.com/netket/netket · DOI 10.21468/SciPostPhysCodeb.7 · [Scite ↗] · Folio P.11 →
p_L ≈ 0.1 (p / p_th)^{(d+1)/2}, H_el |Ψ⟩ = E |Ψ⟩
Megahertz stabilizer circuit sampling in Stim paired with PySCF coupled-cluster and CASSCF electronic structure integrals for fault-tolerant quantum chemistry.
quantumlib/Stim · DOI 10.22331/q-2021-07-06-497 · [Scite ↗] · Folio P.11 →
∑ d_f Y_f = 0 ∧ ∑ d_f Y_f³ = 0, d ⋆ F = J
1,850+ machine-checked theorems in Lean 4 covering Lagrangian mechanics, Maxwell electrodynamics, Lorentz groups, Wick's theorem, and Standard Model anomaly cancellation.
github.com/HEPLean/PhysLean · DOI 10.1016/j.cpc.2024.109457 · [Scite ↗] · Folio M.01 →
a^n + b^n ≠ c^n (n ≥ 3), N(σ,T) ≤ C·T^{(30/13)(1-σ)+ε}
Zero-sorry Lean 4 formalizations of Fermat's Last Theorem, Riemann XiPrime zero-density bounds, and sub-exponential 3-SAT refutations built atop Mathlib4.
anthropics/formal-math · DOI 10.1145/3372885.3373824 · [Scite ↗] · Folio M.11 →
∑ A_f n_f = 0 (Maxwell–Rankine), W_2²(μ,ν) = inf ∫ |x - T(x)|² dμ
Reciprocal polyhedral force diagrams for compression-only vaults in COMPAS paired with Wasserstein optimal transport and Sinkhorn barycenters in POT and teorth/equational_theories.
compas-dev/compas · DOI 10.1016/j.cad.2015.01.006 · [Scite ↗] · Folio A.11 → · Folio M.09 →
P_scite = (N_supp − w_c·N_cont) / (N_supp + N_ment + N_cont + 1), R_retract = 0
Classifies in-text citation statements across Introduction, Methods, Results, and Discussion into supporting, mentioning, or contrasting evidence while screening all 48 Folios and 15 Radar engines for retractions.
scite.ai · DOI 10.1162/qss_a_00146 · [Scite ↗] · Folio M.01 →
∀ d ∈ DOIs: HTTP(d) = 200 ∧ Retracted(d) = False ∧ Sim(T_label, T_CR) ≥ 0.5
Deterministic registry verifier (tools/check_folio_citations.py) that validates every primary and inline DOI, publication year, journal container, and Scite tally against Crossref and Retraction Watch.
CrossRef/rest-api-doc · DOI 10.1162/qss_a_00022 · [Scite ↗] · Folio E.01 →
E(q) = {source_id, publisher_date, accessed_utc, fields, limitations ≠ ∅}
Zero-LLM catalog-governed CLI (evidence_cli.py paper-trail, cite-check --scite-bulk) uniting OpenAlex 250M+ works, Unpaywall open-access licensing, and Semantic Scholar citation graphs with mandatory limitation records.
senseiewok/cf-skills · DOI 10.7717/peerj.4375 · [Scite ↗] · Folio P.01 →
Inspired by classic broadsheet crosswords: test your command of INFORMATICO.AI’s governing laws and historical turning points. Switch to ES-MX in the masthead to unlock a completely independent Spanish crossword with its own grid and scientific vocabulary.
Select any cell or clue and type A–Z. Space toggles Across/Down; progress auto-saves to localStorage.