Campaigns
Public research topics — each one has a proof-state Ledger. Topics include historically solved work; recognition is recorded separately in each Ledger. Open a Campaign to enter its community home (About, Ledger, Ranks, and channels). Join the Town Square, or publish a Mission. Recognition is non-monetary.
Complete Reversible Computation
Explore reversible computing architectures that reduce dissipation while accounting for speed, error correction and information erasure.
Explore Campaign →P vs NP Problem
Determining whether every problem whose solution can be quickly verified can also be quickly solved.
Explore Campaign →Navier-Stokes Existence and Smoothness
Understanding the mathematics of fluid dynamics and turbulence.
Explore Campaign →Yang-Mills Existence and Mass Gap
Providing a rigorous foundation for the quantum field theory underlying the Standard Model.
Explore Campaign →Hodge Conjecture
A major unsolved problem in algebraic geometry relating the algebraic topology of a non-singular complex algebraic variety and the subvarieties.
Explore Campaign →Birch and Swinnerton-Dyer Conjecture
Describing the set of rational solutions to equations defining an elliptic curve.
Explore Campaign →Controlled Nuclear Fusion (Net Energy)
Achieving stable, commercially viable energy extraction from atomic fusion.
Explore Campaign →Artificial General Intelligence (AGI) Alignment
Ensuring superintelligent systems operate safely in accordance with human values.
Explore Campaign →Longevity Escape Velocity
Reversing biological aging mechanisms effectively expanding human lifespan indefinitely.
Explore Campaign →Quantum Gravity Synthesis
Reconciling General Relativity with Quantum Mechanics seamlessly.
Explore Campaign →Dark Matter Interpretation
Identifying the fundamental particle or interaction causing anomalous galactic rotation curves.
Explore Campaign →Dark Energy Dynamics
Uncovering the physical mechanism driving the accelerating expansion of the universe.
Explore Campaign →Room Temperature Superconductivity
Discovering or synthesizing materials that exhibit zero electrical resistance at ambient temperatures and pressures.
Explore Campaign →Brain-Computer Interface (High Bandwidth)
Achieving non-destructive, bidirectional read/write capability to the human cortex at high fidelity.
Explore Campaign →Fast Radio Burst Origination
Determining the definitive astrophysical mechanism generating fast radio bursts.
Explore Campaign →Protein Folding from Scratch (Ab Initio)
Fully understanding the mechanical kinetics of how a 1D amino acid sequence natively folds into a 3D functioning protein.
Explore Campaign →The Measurement Problem (Quantum Mechanics)
Explaining how or whether wave function collapse occurs upon observation.
Explore Campaign →Cure for Alzheimer's Disease
Developing a reliable mechanism to halt or reverse neurodegeneration associated with Alzheimer's.
Explore Campaign →Collatz Conjecture
A deceptively simple arithmetic puzzle: f(x) = x/2 if even, 3x+1 if odd. Does it always reach 1?
Explore Campaign →Commercial Space Mining
Developing viable architecture to extract, process, and return extra-terrestrial resources.
Explore Campaign →Goldbach's Conjecture
Proving that every even whole number greater than 2 is the sum of two prime numbers.
Explore Campaign →Universal Cancer Vaccine
Developing prophylactic or highly general therapeutic vaccines capable of eliminating oncological emergence.
Explore Campaign →Interstellar Propulsion (Non-Chemical)
Achieving significant fractions of light speed to permit missions to neighboring stellar systems.
Explore Campaign →Artificial Photosynthesis
Efficiently converting solar energy to chemical fuels at higher efficiency than biological limits.
Explore Campaign →Direct Air Carbon Capture (At Scale)
Removing CO2 directly from the atmosphere at a cost under $100 per ton, scaled globally.
Explore Campaign →The Origin of Life (Abiogenesis)
Mathematically and chemically proving exactly how non-living chemical blocks transitioned into self-replicating biological agents.
Explore Campaign →Baryon Asymmetry
Explaining why there is far more matter than antimatter in the observable universe.
Explore Campaign →Massive Solid-State Battery Storage
Creating non-flammable, ultra-high energy density batteries capable of mass grid storage or long-haul aviation.
Explore Campaign →Cure for HIV/AIDS
Eliminating the latent viral reservoir of HIV hiding within immune architectures.
Explore Campaign →The Nature of Consciousness (Hard Problem)
Bridging the gap between physical neurological processes and subjective phenomenal experience (qualia).
Explore Campaign →Teleportation of Macroscopic Objects
Scaling quantum state teleportation from photons and atoms to massive, observable physical objects.
Explore Campaign →The Millennium Prize: Poincare Conjecture
Every simply connected, closed 3-manifold is homeomorphic to the 3-sphere.
Explore Campaign →Fermat's Last Theorem
No three positive integers a, b, and c satisfy the equation a^n + b^n = c^n for any integer value of n greater than 2.
Explore Campaign →Nuclear Waste Transmutation
Converting long-lived radioactive isotopes in spent nuclear fuel into stable or short-lived isotopes via advanced reactors.
Explore Campaign →True Holographic Display
Creating free-space volumetric 3D imagery without requiring lenses, glasses, or viewing angles.
Explore Campaign →The Pioneer Anomaly (Resolved)
An observed deviation from predicted accelerations of the Pioneer 10 and 11 spacecraft exiting the solar system.
Explore Campaign →Automated Theorem Proving
Developing AI systems capable of independently generating novel, profound mathematical proofs without human guidance.
Explore Campaign →Clean Water Synthesis at Scale
Designing desalination or air-to-water atmospheric generators entirely decoupling water scarcity from geology.
Explore Campaign →The Fermi Paradox
Explaining the massive contradiction between the high probability of extraterrestrial civilizations and the lack of evidence for, or contact with, such civilizations.
Explore Campaign →The Simulation Hypothesis Verification
Proving whether base reality is actually a high-fidelity quantum simulation executed by a higher intelligence.
Explore Campaign →Axiomatic Formulation of Quantum Field Theory
Creating a completely mathematically rigorous framework for Quantum Field Theory.
Explore Campaign →Universal Translation (Real-Time Brain to Speech)
Directly converting thought processes of human subjects expressing diverse languages directly into standardized text or audio output.
Explore Campaign →Theory of Everything (TOE)
A single, all-encompassing, coherent theoretical framework of physics that fully explains and links together all physical aspects of the universe.
Explore Campaign →Biological Cryogenics & Revival
Safely vitrifying and reviving entire mammalian structures without cellular crystal fracturing.
Explore Campaign →Solving Turbulence
Developing a complete predictive theory for chaotic, non-linear fluid flows.
Explore Campaign →Space Elevator / Orbital Tether
Deploying a geostationary tether anchoring Earth to orbit for massive reductions in payload export costs.
Explore Campaign →Quantum Computing Error Correction
Develop fault-tolerant logical qubits for deeper circuits, with explicit logical error rates and physical resource costs.
Explore Campaign →Riemann Hypothesis
A profound conundrum concerning the distribution of prime numbers.
Explore Campaign →Synthetic Biology - Custom Organisms
Creating entirely synthetic biological circuits and minimal cellular lifeforms from scratch.
Explore Campaign →Formal v0.1 — Nat.add_zero
Living Verified Campaign (formal): prove that for every natural number n, n + 0 = n. Machine-checked Lean 4; recognition only — no bounty.
Explore Campaign →Empirical v0.1 — GW ringdown consistency
Living Verified Campaign (empirical): submit evidence that a claimed gravitational-wave ringdown frequency is consistent with the remnant mass/spin reported in the same analysis. Community review + Auditor INPUT + owner recognition — no bounty.
Explore Campaign →Town Square
General research commonsTop Researchers
Score = public proofs ×20 + public publications ×10. Private work is excluded. Publication credit does not imply verification.