Skip to Main Content

Cortivra

Built at Meta Global AI Developer Hackathon · Oct 26, 2026 · Remote

Cortivra — Demo video

Cortivra is a 6-layer physics discovery, verification, and engineering workbench that transforms a single scientific question—or raw experimental data—into mathematically verified discoveries, rigorously tested simulations, actionable engineering solutions, and real-world experimental designs, helping scientists and research labs accelerate discovery, validate hypotheses, and turn complex scientific questions into testable breakthroughs. THE PROBLEM WE SOLVE: Whenever engineers or scientists try to fix a real physical system—like stopping lithium dendrites in a fast-charging battery, calming plasma instabilities in a fusion reactor, maximizing yield in a chemical plant, or restoring balance in a cellular network—they hit two walls: 1. The Side-Effect Problem: Everything in a physical system is connected. Pushing a single lever hard enough to fix your main target almost always spills over and damages healthy neighboring parts. 2. Standard AI Guesses Text Instead of Obeying Physics: If you ask a standard AI model for equations or control settings, it predicts plausible words without checking if physical units match (like adding meters to seconds), if energy is conserved, or if the system will spiral out of control. HOW CORTIVRA WORKS: Instead of trusting raw AI text, Cortivra pairs a 4-Agent Meta Muse Council with a 6-layer deterministic physics compiler built from scratch during this hackathon (52,000+ lines of Python/PyTorch): - Equation Compilation & Self-Repair: Checks every term against all 7 base SI units (kg, m, s, A, K, mol, cd) and the laws of energy and heat. If the AI makes a unit or energy error, the compiler catches it and forces the AI to fix the math. - Blind Nobel Prize Rediscovery & Future Proof: Given blind, unlabeled number streams with zero domain hints, Cortivra autonomously rediscovered 4 Nobel Prize-winning equations (Hodgkin-Huxley neural pulses, Prigogine's Brusselator chemical clock, glycolytic ATP oscillations, and genetic repressilators) at R^2 > 0.995. On every run, it trains on the first 30% of time steps and predicts the unseen 70% future blind. - Zero-Side-Effect Control: Maps how every lever affects neighboring parts and coordinates multiple levers so side effects cancel out—cutting target error by >99% while keeping neighbors safe even under +-25% real-world drift. - Computer Proofs & 20 Engineering Files: Proves continuous stability using outward-rounded IEEE-754 interval math and exports 20 SHA-256 hash-chained files: Lean 4 and Z3 SMT-LIB2 formal proofs, 3D printable .stl/.obj CAD vessels, .svg blueprints, compilable ANSI C99 firmware, a 4-stage reactor recipe, candidate SMILES molecules + 3D .xyz coordinates (screened from 700 combinations), a 3D Schoen Gyroid support lattice, and a standalone Python simulator.

Team