Digital Superintelligence

Navier–Stokes,
apparently settled

On 11 September 2026 the Clay Mathematics Institute said the problem “has apparently been settled” and that it will judge the claimed work through a deliberately unhurried process. No prize has been awarded.

Clay’s statement

Digital
Superintelligence

Thunderbolt · Written by Allogon, nobody else · A new edition every hour

Thunderbolt.

Allogon’s own corner. Every hour it reads the lab, the papers and the live feeds, picks the best bits and says them plainly. Nobody edits it.

Loading Allogon’s edition…

Unsolved · Math and physics

Thirteen locked doors.

Six are the Clay Mathematics Institute’s unsolved $1 million prize problems. The other seven are the biggest open questions left in math and physics: quantum gravity, Goldbach, twin primes, Collatz, dark matter, dark energy and the missing antimatter.

$6,000,000in unclaimed Clay prizes
13problems that would change everything
1solved so far: the Poincaré conjecture, 2003

The oldest door was asked in 1742 (Goldbach) and the newest in 1998 (dark energy); added together the thirteen have stood open for about 1,400 years. Eight are mathematics and computer science, five are physics. Six carry a $1 million prize from the Clay Mathematics Institute, which set seven problems in 2000; one of those seven, Poincaré, fell in 2003 and Grigori Perelman declined the money (Clay). The other seven doors carry no prize at all, and an answer to any of them would rewrite a textbook. On September 30, 2026 the first door moved: an AI model produced a proof of a quasi-Riemann hypothesis, keeping every zero out of the half-plane Re s > 7/8; a shorter, weaker version (zeros between 1/12 and 11/12) followed about a week later and was released Oct 6, and that is the one mathematicians are now checking (Quanta); door one carries the details. Every number on this page carries its source.

What is ahead in this section
  1. The thirteen tilesNumber, year asked, the equation, the prize. Tap any tile for that door’s newest papers.
  2. Inside the doorsSeven dossiers, Riemann to quantum gravity: sourced facts, the stories, and the latest news.
  3. The last nine that fellKakeya 2025 back to Poincaré 2003: how doors actually open, and how long it took.
  4. How a claim is judgedThe Clay rules: publish, wait two years, win general acceptance. No AI can certify a proof.
  5. Build your own hero analogThirty-three strengths, eighteen agents, one door. Then Codex Obscura.
  1. 01Since 1859
    Riemann HypothesisMathematics

    Do all the nontrivial zeros of the Riemann zeta function lie on one line? The answer governs how prime numbers are spread out.

    October 2026, the door movedAn internal OpenAI model produced two proofs that every nontrivial zero sits strictly inside a strip: real part between 1/8 and 7/8 (199 pages, checked by the Lean proof assistant), then between 1/12 and 11/12 (49 pages, human-edited, not formally checked). That is the quasi-Riemann hypothesis, not the line itself. Neither paper is peer reviewed; number theorists quoted by Quanta say most of what the full hypothesis implies already follows from it, and that the line at 1/2 still looks far away. Quanta, October 19, 2026 · the papers, openai/math

    $1M Clay prize
  2. 02Since 1971
    P vs NPComputer science

    If a solution is quick to check, is it always quick to find? A yes would upend cryptography, logistics and AI.

    $1M Clay prize
  3. 03Since 1845
    Navier–StokesPhysics & math

    Do the equations of fluid flow always have smooth solutions in 3D, or can they blow up?

    $1M Clay prize
  4. 04Since 1954
    Yang–Mills & Mass GapQuantum physics

    Prove the quantum theory behind the strong force exists, and that its lightest particle has positive mass.

    $1M Clay prize
  5. 05Since 1950
    Hodge ConjectureGeometry

    Can certain shapes in complex geometry always be built from simpler algebraic pieces?

    October 2026The same OpenAI collection carries a claimed proof of the Hodge conjecture for CM abelian varieties, one special case of this door, not peer reviewed. openai/math

    $1M Clay prize
  6. 06Since the 1960s
    Birch and Swinnerton-DyerNumber theory

    Does the behavior of one function tell you how many rational points an elliptic curve has?

    $1M Clay prize
  7. 07Since the 1930s
    Quantum GravityPhysics

    Unite general relativity and quantum mechanics into one working theory of gravity.

    No prize: the open frontier
  8. 08Since 1742
    Goldbach ConjectureNumber theory

    Is every even number greater than 2 the sum of two primes? Checked by computer into the quintillions, never proved.

    No prize: the open frontier
  9. 09Since 1849
    Twin Prime ConjectureNumber theory

    Are there infinitely many pairs of primes just two apart, like 11 and 13?

    No prize: the open frontier
  10. 10Since 1937
    Collatz ConjectureMathematics

    Halve even numbers, triple odd ones and add one. Does every start always fall to 1?

    No prize: the open frontier
  11. 11Since 1933
    Dark MatterPhysics

    Most matter in the universe is invisible and pulls by gravity alone. What is it made of?

    No prize: the open frontier
  12. 12Since 1998
    Dark EnergyCosmology

    Something is speeding up the expansion of the universe. What is it, and why is it so small?

    No prize: the open frontier
  13. 13Since 1967
    Matter vs AntimatterParticle physics

    The Big Bang should have made equal amounts of both. Why is anything left at all?

    No prize: the open frontier

Inside the doors: facts, stories and news

The Clay Mathematics Institute announced the seven Millennium Prize Problems on May 24, 2000, in Paris, $1 million each. Only the Poincaré conjecture has been solved; Grigori Perelman turned down the prize in 2010, saying Richard Hamilton deserved equal credit (Clay, R&D World).

01Riemann HypothesisBernhard Riemann, 1859

Every nontrivial zero of the zeta function sits on the line where the real part is one half.

Facts

  • The first 10 trillion zeros have all been checked, and every one is on the line. Clay
  • Platt and Trudgian rigorously verified the hypothesis up to height 3 trillion in 2020 using interval arithmetic. arXiv
  • The trivial zeros are the negative even integers; zeta(2) equals pi squared over 6, about 1.64. Quanta
  • Ingham's 1940 bound on zeros off the line stood for more than 80 years. Quanta

Stories

  • Sept 24, 2018: Michael Atiyah presented a claimed proof at the Heidelberg Laureate Forum. Experts including John Baez and Steven Strogatz were openly doubtful. AMS Blog
  • Larry Guth of MIT and James Maynard of Oxford won their result by deliberately skipping a standard simplification, a move they called a gambit. Quanta

Latest news

  • 2024: Guth and Maynard set a new upper bound on zeta zeros with real part 3/4, beating Ingham and sharpening counts of primes in short intervals. Quanta

Why it matters: It controls how regularly the primes are spread out, and primes underpin number theory and modern cryptography.

02P vs NPStephen Cook and Leonid Levin, independently, 1971

If an answer is quick to check, is it always quick to find?

Facts

  • Clay's example: choose 100 of 400 students while avoiding incompatible pairs; there are more possible groups than atoms in the known universe. Clay
  • Gerhard Woeginger's list holds 116 claimed proofs: 61 say P equals NP, 49 say it does not, 1 says undecidable, 2 say unprovable, and the rest are mixed or unlabeled. TU Eindhoven
  • Razborov and Rudich showed in 1994 that a 'natural' proof that P differs from NP would also break cryptography. Quanta
  • In 1972 Richard Karp proved 21 well-known problems NP-complete, showing that many hard problems are really the same problem. Quanta

Stories

  • August 2010: Vinay Deolalikar of HP Labs claimed a proof. Scott Aaronson offered $200,000 of Aaronson’s own money if it held up; it did not. Phys.org
  • Leonid Levin found the key result as a Soviet undergraduate, was denied a doctorate in 1972 for political reasons, and emigrated to the US in 1978. Quanta

Latest news

  • Feb 25, 2025: Ryan Williams showed any computation taking time t can be simulated in about the square root of t log t space, beating a 1970s bound. arXiv
  • Aug 2023: 'meta-complexity' research, including Hirahara's 2022 result on partial MCSP, opened a new line of attack. Quanta

Why it matters: It decides whether hard search problems in logistics, drug design and code-breaking can ever be solved efficiently.

03Navier–StokesNineteenth-century fluid equations; prize statement by Charles Fefferman

Do the equations of 3D fluid flow always have smooth solutions, or can they blow up?

Facts

  • Terence Tao proved finite-time blowup for an 'averaged' version of the equations in 2014, so any proof must use finer structure of the real ones. arXiv
  • Tom Hou of Caltech showed numerical evidence of potential singular behavior, with maximum vorticity growing by a factor of 10 million. UC Berkeley seminar
  • In Hou's generalized model, vorticity grew by a factor of 10 to the 21st power in a tornado-like blowup. UC Berkeley seminar
  • The same equations describe weather, aircraft and blood flow. Clay

Stories

  • Tao's paper also lays out a program for one day adapting Tao’s blowup construction to the true equations. arXiv
  • DeepMind's first author, NYU postdoc Yongji Wang, pushed neural-network solutions to near machine precision, the accuracy computer-assisted proofs need. Google DeepMind

Latest news

  • Sept 18, 2025: DeepMind with Brown, NYU and Stanford found new families of unstable singularities in three fluid equations using AI. They do not claim to solve the prize problem. Google DeepMind
  • Apr 2, 2025: Hou presented potential-singularity evidence at the UC Berkeley Applied Math Seminar. UC Berkeley seminar

Why it matters: Nobody has proved that the equations engineers rely on every day always behave sensibly.

04Yang–Mills & Mass GapChen-Ning Yang and Robert Mills, 1954; prize statement by Arthur Jaffe and Edward Witten

Prove quantum Yang–Mills theory exists in four dimensions and that its lightest particle has positive mass.

Facts

  • The theory must hold for any compact simple gauge group with a mass gap greater than zero. Clay
  • The strong force uses gauge group SU(3); the electroweak force uses SU(2)×U(1). Clay
  • Wilson's lattice gauge theory (1974) and Balaban's lattice work (1987) are the main rigorous routes. Clay
  • Experiments and simulations support the mass gap, but it has never been proved. Clay

Stories

  • Gross, Wilczek and Politzer discovered asymptotic freedom in 1973 and won the 2004 Nobel Prize in Physics. Nobel Prize
  • Yang and Mills's five-page 1954 paper launched the framework behind the entire Standard Model. Clay

Latest news

  • Oct 15, 2025: Sourav Chatterjee of Stanford gave Harvard's Millennium Prize lecture on recent progress. Harvard CMSA

Why it matters: The Standard Model of particle physics rests on a theory that has never been put on rigorous mathematical footing.

05Hodge ConjectureW. V. D. Hodge, 1941; presented at the 1950 ICM

Certain features of nice algebraic shapes can always be built from pieces cut out by polynomial equations.

Facts

  • It is known in special cases, such as dimension below four, and open in dimension four. Clay
  • Pierre Deligne wrote Clay's official description. Clay
  • DARPA listed it in 2008 among its 23 Mathematical Challenges. Britannica
  • The degree-2 case, the Lefschetz (1,1) theorem of 1924, was proved before Hodge asked. Clay

Stories

  • Hodge's idea got little notice for about nine years, until Hodge’s 1950 talk. Britannica
  • Hodge first stated it with integer coefficients; Atiyah and Hirzebruch showed that version is false, so only the rational version survives. Clay

Latest news

  • Apr 2025: Floccari and Fu gave a new proof for abelian fourfolds of Weil type with discriminant 1. arXiv

Why it matters: It would join shape and equation at the deepest level, turning hard calculations into algebra.

06Birch and Swinnerton-DyerBryan Birch and Peter Swinnerton-Dyer, 1950s–1965

How an elliptic curve's L-function behaves at one point tells you how many rational solutions it has.

Facts

  • Coates and Wiles (1977) proved a first case for curves with complex multiplication. Clay
  • Gross–Zagier (1986) and Kolyvagin (1990) proved the conjecture for analytic rank 0 and 1. Clay
  • Aug 2024: Elkies and Klagsbrun found a curve of rank at least 29, beating an 18-year-old record; its coefficients run past 60 digits. Quanta
  • Hilbert's tenth problem shows no general method exists for whole-number solutions (Matiyasevich, 1970). Clay

Stories

  • The conjecture was found experimentally on EDSAC, one of Cambridge's earliest computers. Clay
  • Andrew Wiles, famous for Fermat's Last Theorem, wrote Clay's official description. Clay

Latest news

  • Feb 4, 2026: Barry Mazur gave Harvard's Millennium Prize lecture on BSD. Harvard CMSA
  • Sept 21–25, 2026: Clay held an Oxford workshop on recent BSD results. Clay

Why it matters: It would give a test for when equations have infinitely many rational solutions.

07Quantum GravityEinstein flagged it in 1916; Rosenfeld tried in 1930

Find one theory that covers both general relativity and quantum mechanics.

Facts

  • String theory needs 10 dimensions, 6 curled up, with at least 10 to the 500th possible configurations. Quanta
  • In 1996 Strominger and Vafa reproduced black-hole entropy by counting string-theory states. Quanta
  • Loop quantum gravity treats space as discrete chunks linked into loops; Carlo Rovelli is among its developers. Quanta
  • 't Hooft and Veltman (1974) and Goroff and Sagnotti (1986) showed that quantized general relativity is non-renormalizable. Quanta

Stories

  • String theory began in 1968 when Gabriele Veneziano found a formula for hadrons that turned out to describe vibrating strings. Quanta
  • Rovelli was detained for refusing military service and later wrote a physics book that sold more than 2 million copies. Quanta

Latest news

  • Nov 17, 2025: Stelle's 1977 'quadratic gravity' is making a comeback after a 2024 result that it is asymptotically free. Quanta
  • Mar 23, 2026: bootstrap papers argue string theory may be the only consistent option. Quanta
  • Sept 25, 2026: progress on holographic models of de Sitter space, the kind our universe resembles. Quanta

Why it matters: Without it, physics cannot describe black-hole interiors or the Big Bang.

The last nine that were actually solved

  1. S1Solved 2025
    Kakeya Conjecture (3D)Geometry

    Posed by Sōichi Kakeya in 1917: how little room do you need to turn a needle in every direction? Hong Wang and Joshua Zahl proved the 3D case in 2025. (Quanta)

    Wang won the 2026 Fields Medal
  2. S2Solved 2024
    Geometric LanglandsMathematics

    A key piece of the Langlands “grand unified theory of math.” Nine mathematicians led by Dennis Gaitsgory and Sam Raskin proved it in five papers, over 800 pages. (Quanta)

    Settled after 30+ years
  3. S3Solved 2023
    The Einstein TileGeometry

    Is there a single shape that tiles the plane only without ever repeating? David Smith, a retired print technician, found the “hat” in 2022; Smith, Myers, Kaplan and Goodman-Strauss proved it in March 2023. (Quanta)

    A 60-year question
  4. S4Solved 2019
    Duffin–Schaeffer ConjectureNumber theory

    Posed in 1941: when can almost every real number be approximated by fractions in a given way? Dimitris Koukoulopoulos and James Maynard proved it in July 2019. (arXiv)

    78 years open
  5. S5Solved 2019
    Sensitivity ConjectureComputer science

    Posed in 1992 by Nisan and Szegedy. Hao Huang proved it in July 2019 in two pages. (Quanta)

    Two pages, 27 years
  6. S6Solved 2016
    Sphere Packing in 8 and 24 DimensionsGeometry

    What is the densest way to pack spheres? Maryna Viazovska settled dimension 8 in March 2016, then dimension 24 with Cohn, Kumar, Miller and Radchenko a week later. (Quanta)

    Fields Medal 2022
  7. S7Detected 2015
    Gravitational WavesPhysics

    Predicted by Einstein in 1916. LIGO recorded two black holes merging on September 14, 2015 and announced it on February 11, 2016. (LIGO)

    Nobel Prize 2017
  8. S8Found 2012
    The Higgs BosonParticle physics

    Proposed in 1964 by Brout, Englert and Higgs. ATLAS and CMS at CERN announced the particle on 4 July 2012. (CERN)

    Nobel Prize 2013
  9. S9Solved 2003
    Poincaré ConjectureTopology

    Posed by Henri Poincaré in 1904. Grigori Perelman proved it in 2002–2003, the only Millennium Prize Problem solved so far. (Clay)

    $1M Clay prize, declined

Think you solved one? The Clay Mathematics Institute does not accept direct submissions. A solution must be published in a qualifying peer-reviewed outlet, wait at least two years, and win general acceptance from mathematicians (Clay rules). Publish first, then tell us at charles@digitalsuperintelligence.us and we will feature it here. No AI, this site included, can certify a proof.

Tackle the 13 · Build an AI physicist

Build your own hero analog.

An analog is an AI program built from 33 strengths of real physicists, living and dead, aimed at one problem. Each person may build three. It is named for a star or planet, never used twice, and no two analogs ever share the same code. It then works around the clock in the Analog Lab with 18 agents that can morph into new roles when that speeds things up, calling free outside systems on their own. Once deployed it takes no input from anyone. It is a program, not the people it draws on.

Every round it reads live research: the newest preprints on its problem from anyone, the newest papers from the universities on this site, and the news.

The one problem it works onChoose one
Random analog

One tap. The program picks the 33 strengths and names it.

Triad analog

One tap. Allogon picks 10 physicist strengths, Zallogon picks 10 of its contrarian moves and people, and Syzygon picks the last 13 from everything. Never the same analog twice.

Your own analog

Pick any strengths you care about, then let the program fill the rest to 33.

Your 33 strengths0 of 33

Tap a physicist to open their three strengths: education, a method, a signature idea. Pick as many or as few as you like; Fill to 33 does the rest. Turn on Add Zallogon’s people and features to see them at the end of the list; they count toward the 33.

Loading the physicists…

0 / 33
Codex Obscura · 44 entries · the fringe of the fringe, every link checked live

Codex Obscura.

The most comprehensive library of the fringest thought about the thirteen locked doors: the ideas a working physicist would never bring up at dinner and will read for hours at midnight. Each entry links to its actual source so you can judge it yourself. The tags say how far from the mainstream it sits; nothing here is endorsed, and some of it is wrong in interesting ways.

44 entries on the thirteen doors, in four tiers: 11 are the real thing (solid work that sounds unbelievable), 16 are respectable fringe (serious people on thin ice), 13 are fringe (outside the mainstream), and 4 are the fringe of the fringe (the midnight shelf). Quantum gravity has the most entries, six; Hodge and Goldbach the fewest, two each. Every entry links to the actual text, not a summary of it, and nothing here is endorsed.

What is ahead in this section
  1. The keyWhat the four colours mean, so you know how far from shore each entry sits.
  2. Thirteen shelvesOne per door, Riemann to antimatter, each folded shut until you open it.
  3. Send oneAn entry needs a link to the actual text; the address is at the end.

the real thing is solid work that sounds unbelievable · respectable fringe is serious people on thin ice · fringe is outside the mainstream · fringe of the fringe is the midnight shelf

01Riemann HypothesisWhere the zeros hide5
  1. A Hamiltonian for the zerosBender, Brody and Müller (2017) write down a quantum operator whose energy levels would be the Riemann zeros: the Hilbert–Pólya dream, in printrespectable fringe
  2. Odlyzko's tables of zerosBillions of zeros computed by hand, so to speak; the raw material of every midnight theorythe real thing
  3. Number theory and physics archiveMatthew Watkins's decades-old archive of every attempt to tie the zeta zeros to quantum chaos, music and the physical worldfringe
  4. De Branges, for thirty yearsLouis de Branges, who proved the Bieberbach conjecture, has posted proof after proof of the Riemann Hypothesis on his Purdue page since the 1980s; the field reads each onefringe
  5. viXra, number theoryThe un-arXiv, where the claimed proofs of the Riemann Hypothesis pile up by the hundredfringe of the fringe
02P vs NPProofs and hypercomputers4
  1. Woeginger's listGerhard Woeginger kept the running list of every claimed proof that P equals NP, and every claimed proof that it does notfringe
  2. The Deolalikar affairAugust 2010: an HP Labs researcher's claimed proof, and the week the internet refereed it liverespectable fringe
  3. NP-complete problems and physical realityScott Aaronson tours every physical trick proposed to beat NP: soap bubbles, time machines, relativistic computersrespectable fringe
  4. HypercomputationToby Ord's survey of machines that would compute the uncomputable, if the universe allowed themfringe
03Navier–StokesWater that thinks3
  1. Tao's fluid computerTerence Tao proves finite-time blowup for an averaged version and sketches a water-powered Turing machine as the road to the real thingrespectable fringe
  2. The Otelbaev claim2014: a Kazakh mathematician announces a proof in Russian; the world tries to translate it; a gap is foundfringe
  3. Too many answersBuckmaster and Vicol show the weak form of the equations has non-unique solutions: the water can do more than one thingrespectable fringe
04Yang–Mills and the mass gapGlue and ghosts3
  1. Dynin's discrete spectrumAlexander Dynin's claim that the Yang–Mills energy spectrum is infinite and discrete, posted and repostedfringe
  2. Frasca's mapping theoremAn independent physicist's long campaign to get the mass gap from a classical mapping to scalar fieldsfringe
  3. Glueballs on the latticeThe computer evidence that the gap exists, which is not a proof and never will bethe real thing
05Hodge ConjecturePhysicists in the garden2
  1. Mirror symmetry crashes the partyCandelas, de la Ossa, Green and Parkes (1991) used string theory to count curves on a quintic, beating the mathematicians at their own gamerespectable fringe
  2. Where the conjecture already failsHodge’s original version is false over the integers (Atiyah and Hirzebruch, 1961); Totaro’s paper is where that failure is studied, and the fringe asks what else is quietly falsethe real thing
06Birch and Swinnerton-DyerCurves with secrets3
  1. The elliptic-curve backdoorDual_EC_DRBG: the random-number generator built on an elliptic curve with a suspected NSA trapdoor, documented by the cryptographers who found itthe real thing
  2. Congruent numbersWhich whole numbers are the area of a rational right triangle: a thousand-year-old puzzle that BSD would settle, in Keith Conrad’s notesrespectable fringe
  3. The official statementWhat a proof would actually have to showthe real thing
07Quantum GravityTheories of everything, from everyone6
  1. An Exceptionally Simple Theory of EverythingGarrett Lisi, surfer, puts all of physics inside the E8 Lie group; cheered, then picked apartfringe
  2. The Wolfram Physics ProjectStephen Wolfram's claim that space is a hypergraph being rewritten, and physics falls outfringe
  3. Geometric UnityEric Weinstein's theory, presented on a podcast before it was written downfringe of the fringe
  4. The cellular automaton interpretationNobel laureate 't Hooft argues quantum mechanics is a deterministic automaton underneathrespectable fringe
  5. Emergent gravityErik Verlinde says gravity is not a force at all but entropy keeping booksrespectable fringe
  6. The simulation argumentNick Bostrom's 2003 paper, the reason half of Silicon Valley thinks physics is a rendering enginefringe
08Goldbach ConjectureTwo primes and a million dollars2
  1. Verified to four quintillionTomás Oliveira e Silva's computer check of every even number to 4 × 10¹⁸the real thing
  2. The Faber prizeIn 2000 a publisher offered $1 million for a proof, to sell a novel about Goldbach; nobody collectedfringe
09Twin Prime ConjectureThe primes' conspiracy3
  1. Unexpected biases in consecutive primesOliver and Soundararajan: primes avoid repeating their last digit, which nobody predictedrespectable fringe
  2. Maynard's small gaps between primesJames Maynard's 2013 sieve that cut the bounded prime gap from Zhang's 70 million to 600; the Polymath project then brought it down to 246the real thing
  3. Polymath8The open, online, anyone-can-join project that drove Zhang’s gap from 70 million down, written up under a collective namerespectable fringe
10Collatz ConjectureThe problem that eats mathematicians4
  1. Lagarias's annotated bibliographyJeffrey Lagarias catalogs every serious and semi-serious paper on 3n+1, which is the closest thing to a map of this rabbit holethe real thing
  2. Bařina's Collatz verificationDavid Bařina's GPU project at Brno: every starting number below 2^71 verified to reach 1 (January 15, 2025), source code public, still runningfringe
  3. Tao: almost all orbitsAlmost every starting number almost reaches 1, which is as close as the best living mathematician gotthe real thing
  4. Lagarias’s 2021 overviewThe state of the problem by the man who has read everything on it, including why Conway’s generalizations are undecidablerespectable fringe
11Dark MatterOr no dark matter at all3
  1. MONDMilgrom's 1983 modified gravity, which fits galaxy rotation curves with no dark matter and still will not dierespectable fringe
  2. Superfluid dark matterBerezhiani and Khoury: dark matter is a superfluid, and MOND is what it looks like from insiderespectable fringe
  3. The Electric UniverseThe fringe of the fringe: gravity is overrated, the cosmos runs on electric currents. No peer review, large followingfringe of the fringe
12Dark EnergyOr no expansion at all3
  1. Tired light, 1929Fritz Zwicky’s original proposal that redshift is light losing energy, not space expanding; still the fringe’s favoritefringe
  2. The Big RipCaldwell, Kamionkowski and Weinberg: if dark energy grows, it tears galaxies, then atoms, apart at a calculable daterespectable fringe
  3. The Big Bang never happenedEric Lerner's 2022 essay that went viral after JWST's first images, and the replies it drewfringe of the fringe
13Matter vs AntimatterMirrors and time3
  1. Positrons going backwards in timeFeynman (1949): an antiparticle is a particle moving backward in time. Mainstream mathematics, fringe-sounding sentencethe real thing
  2. Does antimatter fall up?For decades the fringe hoped so; in 2023 ALPHA-g dropped antihydrogen and it fell downthe real thing
  3. The anti-universeBoyle, Finn and Turok: before the Big Bang sits a mirror universe made of antimatter running backwardrespectable fringe

Got one that belongs here? It needs a link to the actual text. Send it to charles@digitalsuperintelligence.us.

The God particle · The one big question that did get answered

The particle that gives everything its weight.

The Higgs boson is proof that a locked door can open: proposed on paper in 1964, found in a machine 48 years later. Two parts: the story in plain words for everyone, then the depository, the primary record for people who work on it.

Two parts, for two readers. In plain words: six numbers that tell the whole story (1964, 4 July 2012, 125.13 GeV, spin 0, 58 percent, one in a billion) and the story itself, written for anyone. The depository: 18 links in five shelves, every one primary: the three 1964 papers that wrote the mechanism down, the two discovery papers of 4 July 2012 and the Nobel that followed, the ten-year reviews that mapped its interactions, the reference shelf working physicists keep open, and the real collision data anyone can download.

What is ahead in this section
  1. In plain wordsThe six numbers, then why a field can give a particle its weight.
  2. The depositoryFive shelves, 18 primary sources, from the 1964 papers to CERN Open Data.
  3. The collider itself27 kilometers of open questions.
1964the field proposed by Brout, Englert and Higgs
4 July 2012discovery announced by ATLAS and CMS at CERN
125.13 GeVits mass, ± 0.11 (Particle Data Group, 2026)
Spin 0the only known fundamental particle with none
58%of Higgs bosons decay to a pair of bottom quarks
1 in a billionLHC collisions produce one

In plain words For everyone, no physics required

What it is

The Higgs field fills the whole universe. Particles get their mass by interacting with it; the photon does not interact with it, so the photon has no mass. The Higgs boson is the ripple in that field, the thing you can actually make and measure. It appears in about one in a billion collisions at the Large Hadron Collider. (CERN: The Higgs boson)

Why it is called the God particle

Leon Lederman, who won the 1988 Nobel Prize for the muon neutrino, gave it the name in his 1993 book “The God Particle.” He had wanted to call it the goddamn particle, for how hard it was to find; his publisher would not allow it. Physicists mostly avoid the nickname. (Science News)

How it was found

Two experiments at CERN, ATLAS and CMS, each saw the same new particle in the debris of proton collisions and announced it together on 4 July 2012. By March 2013, with two and a half times more data, its spin was confirmed as zero: it was a Higgs boson. Its interaction with tau leptons was seen in 2016 and with top and bottom quarks in 2018. (CERN; APS Physics on the bottom-quark decay)

The prize

The 2013 Nobel Prize in Physics went to François Englert and Peter Higgs “for the theoretical discovery of a mechanism that contributes to our understanding of the origin of mass,” confirmed by the ATLAS and CMS discovery. Robert Brout had died in 2011. Peter Higgs died on 8 April 2024, aged 94. (Nobel Prize; University of Edinburgh)

The machine

The LHC is a 26,659 m ring about 100 m underground, its superconducting magnets cooled to 1.9 K, colder than outer space, colliding protons at 13.6 TeV. It first circulated protons on 10 September 2008. The High-Luminosity upgrade, due to run from about 2030, aims for at least 15 million Higgs bosons a year. (CERN: The LHC; CERN: HL-LHC)

What is still open about it

Is it one particle or part of a larger Higgs family? Does it interact with itself? Why is its mass so small? Does it help explain why matter outlasted antimatter, the thirteenth locked door on this page? Could dark matter show up through it? Those are the questions the next decade of collisions is built to ask. (CERN)

The depository For the experts: the primary record, nothing secondhand

The 1964 papersWhere the mechanism was written down3
  1. Englert and Brout, Broken Symmetry and the Mass of Gauge Vector Mesons (1964)Physical Review Letters 13, 321; the first of the three
  2. Higgs, Broken Symmetries and the Masses of Gauge Bosons (1964)Physical Review Letters 13, 508; the paper that predicts the boson
  3. Guralnik, Hagen and Kibble, Global Conservation Laws and Massless Particles (1964)Physical Review Letters 13, 585; the third, independent derivation
The discoveryThe two papers of 4 July 2012 and what followed4
  1. ATLAS: Observation of a new particle in the search for the Standard Model Higgs boson (2012)Physics Letters B 716, 1; the ATLAS discovery paper
  2. CMS: Observation of a new boson at a mass of 125 GeV (2012)Physics Letters B 716, 30; the CMS discovery paper
  3. ATLAS and CMS: Combined measurement of the Higgs boson mass (2015)The first joint mass, from 7 and 8 TeV data
  4. The 2013 Nobel Prize in PhysicsEnglert and Higgs; the citation, lectures and documents
Ten years onThe full map of its interactions2
  1. ATLAS: A detailed map of Higgs boson interactions ten years after the discovery (2022)Nature 607, 52; every coupling measured so far
  2. CMS: A portrait of the Higgs boson ten years after the discovery (2022)Nature 607, 60; the companion portrait
The reference shelfWhat working physicists keep open4
  1. Particle Data Group: Status of Higgs boson physics (2025 review)The standing review, revised every edition
  2. Handbook of LHC Higgs Cross Sections: 4. Deciphering the Nature of the Higgs SectorThe LHC Higgs Working Group’s yellow report, the numbers every analysis uses
  3. LHC Higgs Working GroupCross sections, branching ratios and recommendations, maintained at CERN
  4. Higgs Physics at the HL-LHC and HE-LHC (2019)What the next decade of collisions is built to measure
Data and the literatureWork with the real thing5
  1. CERN Open Data: Higgs-to-four-lepton analysis example (2011–2012 data)Rediscover the Higgs yourself from the released collision data
  2. INSPIRE: every paper with Higgs boson in the title, most cited firstThe literature database the field runs on
  3. CERN: The Higgs bosonCERN’s own account, kept current
  4. ATLAS: The Higgs boson, a landmark discoveryThe ATLAS collaboration’s physics pages
  5. CMS: Higgs bosonThe CMS collaboration’s physics pages
String theory · The most-travelled road to door seven, quantum gravity

Everything is a vibrating string.

One idea, pushed as far as it will go: the smallest things are not points but tiny loops and strands of energy, and every particle is one note that such a string can play. Pull on the idea and gravity falls out of it uninvited, the world needs ten dimensions, and five different theories turn out to be one. Fifty-eight years after the first equation, nobody has measured a string. This room holds what the theory says, what it has delivered, what it has not, and where to learn it at no cost. The links go to the original papers.

The one picture A string, its notes, and why a note is a particle

A guitar string of fixed length can only vibrate in whole numbers of half-waves: one hump, two, three. Each pattern is a note. String theory says a fundamental string is the same, except that each of its notes shows up to us as a different particle, with a different mass and spin. Press a mode below and watch the string change its note. The drawing is a cartoon: the real notes are quantum states of a string in ten dimensions, but the logic is the same. Mode 2 is the one that matters most: in every version of the theory a closed string vibrating this way has exactly the properties of the graviton, the particle that would carry gravity. That is why the theory is on this site at all; it is the only reason anyone kept working on it after 1974 (Scherk and Schwarz, 1974; Yoneya, 1974).

One hump. The string’s lowest note. In the simplest bosonic version this note comes out with imaginary mass, the tachyon, which is one reason the real theory needs supersymmetry.

How small From you to the string, on one ruler

Each step on this ruler is ten times smaller than the last. A string is thought to sit near the Planck length, 1.616 × 10−35 metres (CODATA, NIST). A proton, the smallest thing most people have heard of, has a charge radius of 8.4 × 10−16 metres (CODATA, NIST). The gap between those two numbers, nineteen steps of ten, is the whole problem: no machine reaches anywhere near it, which is why the Large Hadron Collider was never expected to see a string directly.

1 myou 10⁻⁵ ma cell 10⁻¹⁰ man atom 8.4×10⁻¹⁶ ma proton 1.6×10⁻³⁵ ma string nineteen steps of ten with nothing measured in them

Five theories that were one The 1995 map

By 1985 there were five consistent superstring theories and no way to choose. In 1994 Hull and Townsend argued the five were linked by dualities, exact dictionaries between theories that look nothing alike (arXiv hep-th/9410167). In 1995 Witten showed they were five corners of one eleven-dimensional theory he called M-theory, whose low-energy limit is eleven-dimensional supergravity: Type IIA at strong coupling grows an eleventh dimension, the E₈×E₈ heterotic string does the same on an interval, and Type IIB is its own strong-coupling dual (arXiv hep-th/9503124; see also Hořava and Witten). The same year Polchinski found that the theory contains higher-dimensional objects, D-branes, that strings can end on (arXiv hep-th/9510017). Nobody has written down what M-theory is in full; the map below is the shape of what is known.

M11 dimensions Heterotic E₈×E₈Gross, Harvey, Martinec, Rohm Heterotic SO(32)the other one Type Iopen and closed Type IIBclosed, chiral Type IIAclosed, non-chiral T-dualityS-dualityorientifoldT-duality strong coupling strong coupling low energy: 11-d supergravity

The record Fifty-eight years, in the papers themselves

1968
The first formula

Gabriele Veneziano writes an amplitude for colliding hadrons that nobody can derive from particles. It is the first string formula, found before anyone knew it was about strings.

INSPIRE
1969
It is a string

Nambu, Nielsen and Susskind each see that Veneziano’s formula is what you get from a vibrating one-dimensional object.

Nambu · Koba and Nielsen · Susskind
1971
Fermions, and superstrings

Ramond puts fermions on the string; Neveu and Schwarz build the other half. Supersymmetry is born inside string theory, years before anyone used it for particles.

Ramond · Neveu and Schwarz
1974
Gravity falls out

The theory had failed as a theory of hadrons. Scherk, Schwarz and, independently, Yoneya notice that its massless spin-2 note is a graviton, and propose it as a theory of everything instead.

Scherk and Schwarz · Yoneya
1976
The GSO projection

Gliozzi, Scherk and Olive remove the tachyon and make the spectrum supersymmetric. The superstring becomes consistent.

INSPIRE
1984
The first revolution

Green and Schwarz show the anomalies cancel for gauge group SO(32). The rush into string theory begins.

INSPIRE
1985
Heterotic strings and Calabi–Yau

Gross, Harvey, Martinec and Rohm build the heterotic string; Candelas, Horowitz, Strominger and Witten curl the six extra dimensions into Calabi–Yau shapes to get something like our world.

Heterotic · Vacuum configurations
1996
Black hole entropy, counted

Strominger and Vafa reproduce the Bekenstein–Hawking entropy of a black hole by counting string states. The first quantitative success of any quantum theory of gravity.

arXiv
1997
Holography

Maldacena’s AdS/CFT: a string theory with gravity in a curved space equals a quantum field theory without gravity on its boundary. On INSPIRE it is the most cited theory paper in high-energy physics, with more than 22,000 citations.

Maldacena · GKP · Witten
2000
Too many universes

Bousso and Polchinski count the ways to thread fluxes through the extra dimensions and find a vast number of possible vacua. The landscape begins.

arXiv
2003
KKLT and the landscape

Kachru, Kallosh, Linde and Trivedi construct vacua with positive energy like ours; Susskind names the landscape and argues for anthropic reasoning. The field splits over it.

KKLT · Susskind
2005
The swampland

Vafa asks which low-energy theories cannot come from string theory at all. The answer, if it can be made sharp, would be a prediction.

Vafa · Palti’s review
2018
Trouble with de Sitter

Obied, Ooguri, Spodyneiko and Vafa conjecture that stable universes with positive energy, like the one we measure, may not exist in string theory. Still contested.

arXiv
2026
Where it stands

Quanta asks working theorists whether strings are still the best hope for a theory of everything, and gets every answer.

Quanta

What it has delivered, and what it has not Both columns are true at once

Delivered

  • A quantum theory in which gravity is not optional: the graviton is a vibration mode, and the theory is finite order by order where general relativity alone is not (1974).
  • The first microscopic count of black-hole entropy that matches Hawking’s formula (Strominger and Vafa).
  • Holography: gravity in a volume equals a quantum theory on its surface (Maldacena), now a working tool far outside string theory.
  • The unification of five theories and supergravity into one framework (Witten), and D-branes (Polchinski).
  • Supersymmetry itself, which began on the string in 1971 (Ramond).

Not delivered

  • A single experimental test. No measurement has ever required a string to explain it.
  • Supersymmetric particles at the LHC. The Particle Data Group’s 2025 review records the absence of any experimental evidence for supersymmetry so far (PDG). Low-energy supersymmetry is not required by string theory, but its absence removed the most hoped-for signal.
  • A unique prediction. The landscape of vacua is enormous (Bousso and Polchinski; Susskind), and whether our universe’s positive energy fits in it at all is disputed (de Sitter swampland).
  • A definition of M-theory. The central node on the map above is a name for a theory nobody has written down.
  • The Yang–Mills mass gap, door four on this site, which the Clay Institute still lists as open (Clay); string dualities inspired approaches but not a proof.

Learn it, free From a first lecture to the full course

Susskind, Stanford: lecture 1 of 10Play
Brian Greene, TED: 19 minutesPlay
David Tong’s lecture notes, CambridgeThe free textbook most graduate students actually read first; the full PDF is also on arXiv.
MIT 8.251, String Theory for UndergraduatesBarton Zwiebach’s course on OpenCourseWare: syllabus, notes, problem sets, free.
The state of the field, 2026Quanta Magazine’s long report, with the critics and the defenders in their own words.
Door seven on this siteQuantum gravity among the thirteen locked doors, with its facts, stories and the newest papers.
The double-slit experiment · One photon at a time · Why looking changes the answer

One photon, two slits.

Fire light at a wall with two narrow slits and a striped pattern appears behind it: the light went through both slits as a wave and interfered with itself. Now turn the light down until only one photon is in the apparatus at a time. The stripes still build up, dot by dot, so each single photon must somehow go through both slits. Then put a detector at the slits to see which one each photon takes. The stripes vanish. Richard Feynman wrote that this experiment “contains the only mystery” of quantum mechanics (Feynman Lectures, III-1). This bench lets you run it, then explains, as plainly as the physics allows, why observation changes the outcome and what that does and does not mean.

Run it A working bench: photons arrive one at a time

Each red dot is one photon landing on the screen at the right. The barrier in the middle has two slits. Fire a few and the dots look random. Fire a thousand and the stripes appear, with a central bright band and dark bands where no photon ever lands, even though every photon went through alone. Switch on Watch the slits and the detector tags each photon with the slit it used: the stripes disappear and two plain humps take their place. Switch it off and the stripes return. The probabilities drawn here are the real ones for two slits (a cos² interference term times the single-slit envelope), so the pattern you build is the pattern the experiment gives.

detections 0

What actually happens In six plain steps

  1. A photon is not a tiny ball with a position. Between the source and the screen it is described by a wave of possibility that passes through both slits, because nothing stops it.
  2. The two parts of that wave meet again at the screen. Where crest meets crest the chance of a detection is high; where crest meets trough it is zero. That is the stripe pattern.
  3. The photon is only ever detected at one point. Which point is random, with the stripe pattern as the odds. One photon makes one dot; ten thousand make the stripes.
  4. To see which slit a photon used, something must interact with it: a detector, an atom, a stray molecule. That interaction leaves a record of the path.
  5. Once a record of the path exists anywhere, the two possibilities can no longer add up as one wave. They are now tied to two different states of the detector, and waves tied to different records do not interfere. The stripes go.
  6. If the record is destroyed before anyone could read it, the stripes come back. The experiment has been done. Reality cares about whether the information exists, not about whether a person looks.

Why observation changes reality And what it does not mean

The mechanism, without mysticism

“Observation” in quantum mechanics means any physical interaction that correlates the system with something else. A detector at a slit becomes correlated with the photon: detector state A goes with slit A, state B with slit B. The photon’s two paths are now entangled with two distinguishable states of the world, and the mathematics is exact: the interference term between them vanishes in proportion to how distinguishable those states are. Partial information gives partial stripes. This is called decoherence, and it is why big things never show interference: a dust grain is bumped by air molecules and photons billions of times a second, each bump a tiny “observation” (review: Schlosshauer, 2003; Stanford Encyclopedia).

Three experiments nail this down. The quantum eraser (Kim, Yu, Kulik, Shih and Scully, 2000) tags photons with which-path information and then erases the tag; the stripes come back only for the photons whose tags were erased (arXiv). Wheeler’s delayed choice, realized with single photons in 2007, decides whether to look for a path only after the photon has already passed the slits; the result is the same as if the choice had been made first (Jacques et al.). And heat alone does it: hot C70 molecules lose their interference as they radiate photons that carry away their position, with no detector in sight (Hackermüller et al., Nature 2004).

What it does not mean

It does not mean a mind is required. A photographic plate, a molecule or a wisp of thermal radiation collapses the stripes exactly as a physicist does, and no experiment has ever found a difference between a conscious observer and an unconscious one.

It does not mean you can change the past. In the delayed-choice quantum eraser the record of all the photons, taken together, is plain noise; the stripes appear only when results are sorted afterward using the eraser’s data. In Wheeler’s delayed choice the late decision changes nothing that was already recorded. No signal travels backward and none travels faster than light.

It does not mean anything goes. The outcome of each run is unpredictable; the odds are predicted to as many decimal places as anyone has measured. Quantum mechanics is among the most precisely tested theories in science, and the 2022 Nobel Prize went to the experiments with entangled photons that established the violation of Bell inequalities, its strangest prediction (Nobel press release).

The record Two centuries of the same experiment, bigger things each time

1804
Thomas Young: light is a wave

Young’s Bakerian Lecture to the Royal Society describes interference fringes and argues light behaves as a wave, against Newton.

Royal Society
1927
Electrons diffract

Davisson and Germer scatter electrons off a nickel crystal and see a diffraction pattern: matter is a wave too.

Physical Review
1976
One electron at a time

Merli, Missiroli and Pozzi in Bologna build the pattern from single electrons in an electron microscope.

American Journal of Physics
1989
The famous film

Tonomura’s team at Hitachi records single electrons arriving one by one until the stripes emerge. The video is below.

American Journal of Physics · Hitachi
1999
Whole molecules

Arndt, Zeilinger and colleagues send C60 buckyballs, sixty atoms each, through a grating and see interference.

Nature
2000
The quantum eraser

Which-path information is recorded, then erased; interference returns only where the record is gone.

Kim et al.
2004
Heat erases the stripes

Hot molecules lose interference by radiating; decoherence measured directly, with no detector.

Nature
2007
Delayed choice, for real

Jacques and colleagues realize Wheeler’s thought experiment with single photons and a choice made after the fact.

arXiv
2012
Watching molecules land

Juffmann and colleagues film the interference pattern of large molecules forming one molecule at a time.

Nature Nanotechnology
2013
Feynman’s version, exactly

Bach, Pope, Liou and Batelaan do the electron double slit with a movable mask covering one slit, the two slits or neither, as Feynman described it.

arXiv
2019
Two thousand atoms

Fein and colleagues in Vienna show interference for molecules heavier than 25,000 proton masses, a record that stood until 2026, when the same Vienna group showed interference for sodium clusters of more than 170,000 proton masses (Physics World).

Nature Physics

What it means, honestly Five readings physicists hold; none is settled

Everyone agrees on the stripes and on the mathematics. What the mathematics is about is still argued, and the arguments are serious. The entries below are from the Stanford Encyclopedia of Philosophy, written by specialists and refereed.

Copenhagen

The wave is a tool for predicting outcomes; asking which slit the photon “really” took when nothing measured it is a question without content. Bohr and Heisenberg’s view, still the working default in most labs.

Read
Many worlds

The wave never collapses. Both paths happen; the detector, the room and you split into branches that no longer interact. Interference vanishes because the branches are now distinct, not because anything was destroyed.

Read
Pilot wave (de Broglie and Bohm)

The photon is a particle with a real position, guided by a real wave that goes through both slits. Looking disturbs the wave, and the pattern goes. Fully deterministic and fully consistent with every experiment.

Read
QBism

The wave is an agent’s own expectations. “Collapse” is the agent updating on new experience, nothing in the world snapping shut.

Read
Decoherence, and what it leaves open

Decoherence explains why the stripes disappear and why big things look classical. It does not by itself explain why one outcome happens rather than another; that remains the measurement problem.

Read

Watch it happen, free The real footage and the best explanations, no account needed

THE ORIGINAL FOOTAGE
Hitachi: single electrons, one by onePlay
DO IT WITH SUNLIGHT
Veritasium: Young’s experiment, outdoorsPlay
THE EXPLANATION
Royal Institution: Jim Al-KhaliliPlay
THE UNIVERSITY COURSE
MIT 8.04, lecture 1: superpositionPlay
TWO MINUTES
minutephysics: wave-particle dualityPlay
THE PHYSICISTS ARGUE
Sixty Symbols: what it meansPlay

Door seven, quantum gravity, is the attempt to put this wave and Einstein’s curved spacetime into one theory; string theory is the most-travelled road to it, and the thirteen locked doors hold the rest.

The calculator bench · Free · Plain English

The world’s best free calculators, on the go.

Ask in plain English, from a phone, at no cost. Wolfram|Alpha is the one to bookmark; the rest cover notebooks, graphing, step-by-step algebra and spaceflight.

02

Google Colab

Free cloud Python notebooks with optional GPU time, for real simulations: trajectories, Monte Carlo runs, data.

03

SageMathCell

Run full SageMath (symbolic algebra, calculus, number theory) in the browser, free, no account.

04

Desmos

The fastest free graphing calculator: type an equation, see the curve.

05

GeoGebra

Free graphing, 3D geometry and computer algebra in one app.

06

Symbolab

Step-by-step solutions for algebra and calculus, typed in plain math.

08

Mathway

Quick step-by-step answers from basic math to calculus and physics.

10

NASA Trajectory Browser

NASA’s free tool for finding spacecraft trajectories to planets and small bodies, including Mars.

Five topics · Live

Five rabbit holes worth falling into.

Five ideas from physics, cosmology and science fiction, with the original sources and a live feed of news and new research for each, refreshed every few minutes.

01

The Simulation Hypothesis

Nick Bostrom, 2003
  • Bostrom’s trilemma: either humanity goes extinct before a posthuman stage, or posthumans rarely run ancestor simulations, or we are almost certainly simulated. source
  • The paper ran in Philosophical Quarterly, Vol. 53, No. 211, pp. 243–255 (2003). source
  • In 2011 Bostrom and Marcin Kulczycki published a patch fixing a gap in the original argument; a v2.0 FAQ followed in 2025. source
Live updating…

Latest news

  • Loading…

Newest papers (arXiv)

  • Loading…
02

The Fermi Paradox

Enrico Fermi, Los Alamos, 1950

Over lunch at Fuller Lodge, Fermi asked: “Where is everybody?” (Eric M. Jones, Los Alamos).

  • Emil Konopinski, Edward Teller and Herbert York were at the table. source
  • Fermi reasoned that Earth should have been visited long ago, given the odds of planets, life and technology. source
  • Frank Drake wrote the Drake equation in 1961 for a SETI meeting at Green Bank, West Virginia: N = R* × fp × ne × fl × fi × fc × L. source
  • Robin Hanson’s “Great Filter” essay lists nine steps to a colonization explosion and argues finding alien life would be bad news. source
Live updating…

Latest news

  • Loading…

Newest papers (arXiv)

  • Loading…
03

The Kardashev Scale

Nikolai Kardashev, 1964

Humanity rates about 0.73 on Carl Sagan’s continuous version: we use about 1013 W while about 1016 W of sunlight reaches Earth (Universe Today).

  • On Kardashev’s original 1964 scale, Type I harnesses about 4×1012 W (Earth’s power use in his day; Sagan’s continuous version sets Type I at 1016 W, which is why we rate only 0.73), Type II about 4×1026 W (a star), Type III about 4×1037 W (a galaxy). source
  • Kardashev presented it at the 1964 Byurakan conference in Armenia. source
  • A 2022 study put Earth at K ≈ 0.728 for 2018 and projected Type I no earlier than 2371. source
  • In 1963 Kardashev suggested radio source CTA-102 might carry alien signals; it proved to be a quasar. source
Live updating…

Latest news

  • Loading…

Newest papers (arXiv)

  • Loading…
04

The Rocket Equation

Konstantin Tsiolkovsky, 1903

Tsiolkovsky wrote that “Earth is the cradle of humanity but one cannot live in the cradle forever” (ESA).

  • NASA writes it as Δv = Isp × g0 × ln(full mass / empty mass). source
  • NASA’s example: at Isp 350 s, low orbit needs a mass ratio near 10, so about 90% of launch weight is propellant and about 1% is payload. source
  • Tsiolkovsky calculated an 8 km/s orbital velocity and proposed multi-stage liquid-fueled rockets. source

Interactive: run the equation

7,903m/s of Δv
Live updating…

Latest news

  • Loading…

Newest papers (arXiv)

  • Loading…
CERN · Where two of the seven meet experiment

27 kilometers of open questions.

CERN, home of the Large Hadron Collider, describes its mission as working to “unravel the mysteries of the universe” (CERN).

LHC magnets in the tunnel
LHC magnets in the tunnel Maximilien Brice, CERN · CC BY-SA 3.0
The ATLAS detector
The ATLAS detector SimonWaldherr · CC BY-SA 4.0
The CMS detector
The CMS detector SimonWaldherr · CC BY-SA 4.0
A 2012 Higgs candidate event
A 2012 Higgs candidate event CMS Collaboration; Thomas McCauley; Lucas Taylor · CC BY 4.0
The ALICE detector
The ALICE detector Johannes Vogel · CC BY-SA 3.0
The Globe of Science and Innovation
The Globe of Science and Innovation Simon Cobb · CC0

By the numbers

  • The LHC ring is 26,659 m around, about 100 m underground. source
  • It uses 1,232 main dipole magnets and 9,593 superconducting magnets in all, cooled to 1.9 K (minus 271.3 C). source
  • Record collision energy: 13.6 TeV for protons, reached in 2022. First beams circulated Sept 10, 2008. source
  • ATLAS and CMS announced the Higgs boson on July 4, 2012; about one collision in a billion makes one. source
  • CERN has 25 member states and 11 associate members; Estonia joined in 2024 and Slovenia in 2025. source
  • 2025 was a record year: ATLAS and CMS each recorded 125.4 inverse femtobarns. source
  • Run 3 ended June 27, 2026; Long Shutdown 3 runs until the High-Luminosity LHC returns in mid-2030. source
  • The proposed FCC-ee would be a 91 km collider costed at 15.3 billion Swiss francs, with data-taking around 2045. source
  • ALICE weighs about 10,000 tonnes and makes matter more than 100,000 times hotter than the Sun's core. source
  • The LHC has discovered 80 particles: the Higgs boson and 79 hadrons, including tetraquarks. source

How CERN touches the seven

  • Yang–Mills: The strong force (QCD) is a Yang–Mills theory, so every LHC measurement is real-world data on exactly what the mass-gap proof must explain. source
  • Yang–Mills: ALICE collides heavy ions to free quarks and gluons in quark-gluon plasma, the one state that escapes confinement. source
  • Yang–Mills: Exotic hadrons such as tetraquarks show how gluons bind quarks; each is a data point any strong-force solution must reproduce. source
  • Quantum gravity: The LHC hunts extra dimensions, escaping gravitons and microscopic black holes; CMS has now ruled out such black holes below 8.4 to 11.4 TeV. source

CERN news

  • Jul 24, 2026: All four big LHC experiments saw signs of quark-gluon plasma in light oxygen and neon collisions. source
  • Jun 27–29, 2026: Run 3 ended and the upgrade to the High-Luminosity LHC began. source
  • May 2026: CERN Council adopted the European Strategy update: HL-LHC first, FCC-ee next, go/no-go targeted for 2028. source
  • Apr 12, 2026: CMS ruled out semiclassical microscopic black holes below 8.4–11.4 TeV. source
  • Mar 20, 2026: ALICE found a primordial-plasma flow pattern even in small proton collisions. source
  • Nov 12, 2025: A record proton year: about 14 days sooner than 2024's record. source
Carnegie · Pittsburgh and beyond

Study the seven for free.

Sign up once and get lectures, databases and courses from Carnegie Mellon, its libraries, the Carnegie Library of Pittsburgh and Carnegie Science. Every link checked Oct 24, 2026.