Why Does Mathematics Describe the Universe?

In 1928, the physicist Paul Dirac was trying to reconcile quantum mechanics with special relativity, and he wrote down an equation for the electron. The equation worked beautifully for predicting the electron's behavior — except that it also insisted, on purely mathematical grounds, that there should exist a particle identical to the electron but with opposite charge. No such particle had ever been seen. Dirac did not suppress the embarrassing term or dismiss it as a mathematical artifact. He trusted the equation over the absence of evidence. Four years later, Carl Anderson found the positron in cosmic ray tracks, exactly where the algebra had said something must be.

This is not an isolated anecdote; it is closer to a recurring miracle. Imaginary numbers, invented by 16th-century algebraists to make sense of formulas that seemed to demand the square roots of negative numbers, turned out centuries later to be the natural language of quantum wavefunctions. Non-Euclidean geometries, developed in the 19th century as abstract curiosities by mathematicians probing what happens if you deny Euclid's fifth postulate, became the exact grammar of gravity in Einstein's general relativity. Group theory, built to classify the symmetries of polynomial equations, turned out to dictate which particles can exist and how they interact. Each time, mathematics developed for reasons entirely internal to mathematics — for elegance, generality, curiosity — later turned out to be exactly, quantitatively, sometimes eerily the right tool for describing nature no one had asked it to describe.

The physicist Eugene Wigner gave this phenomenon its canonical name in a 1960 essay: "the unreasonable effectiveness of mathematics in the natural sciences." He called it "a wonderful gift which we neither understand nor deserve." That sentence has haunted physicists, mathematicians, and philosophers for over sixty years, because beneath its almost embarrassed tone lies a genuinely open question about the relationship between the human mind, its most abstract inventions, and the structure of physical reality itself.

State the puzzle carelessly and it sounds like mysticism. State it carefully and it becomes a real, structured problem with at least three distinct sub-questions tangled together.

The first sub-question is about fit: why does formal mathematics, manipulated by rules with no built-in reference to matter or energy, generate statements that turn out to be quantitatively true of physical measurements — not approximately, but to twelve decimal places, as in the electron's magnetic moment predicted by quantum electrodynamics? The second sub-question is about priority: why does mathematics developed with zero physical motivation — Riemannian geometry, Hilbert spaces, Lie groups, knot theory — so often turn out, later, to be exactly what physics needs? Dirac didn't invent spinor algebra to describe antimatter; it was waiting for him. The third sub-question is about depth: is this fit a deep fact about the nature of reality, a shallow fact about the nature of minds, or an illusion produced by how we tell the story afterward?

Why is this hard, rather than merely a nice thing to muse about over coffee? Because any serious answer has to survive being turned into a testable, falsifiable, or at least philosophically disciplined claim, and every attempt to do that runs into deep trouble.

Suppose you say: "mathematics works because the universe literally is mathematics" — a strong Platonist or "mathematical universe" position. You now owe an account of why some mathematically consistent structures (our particular field equations, our particular gauge groups) are "realized" as physical while presumably infinitely many other consistent structures are not. You also owe an account of what it would even mean for an abstract structure to "be" a physical universe rather than merely describe one — the difference between a map and the territory threatens to dissolve, and it's unclear whether that's profound or empty.

Suppose instead you say: "it's not surprising at all — mathematics is just formalized pattern-recognition, and of course the patterns our brains evolved to detect (counting, symmetry, cause and effect) apply to the physical world that shaped those brains." This deflationary answer explains arithmetic and basic geometry well. It struggles badly with cases like non-Euclidean geometry, 4-dimensional Hilbert spaces, or the Yang–Mills gauge structures underlying the Standard Model — structures with no evolutionary precedent, invented for reasons of pure formal elegance, that nonetheless proved indispensable in domains (subatomic particles, the large-scale structure of spacetime) utterly outside anything our ancestors needed to survive.

Suppose you say: "it's selection bias — we only remember the mathematics that worked, and quietly forget the vast graveyard of mathematics that didn't." This has real force, and working physicists take it seriously. But it needs to explain why the specific successes are so startlingly precise, not merely "roughly useful." A theory that predicts a number correct to nine decimal places is not the same kind of success as a theory that vaguely gestures at qualitative trends, and selection-bias arguments explain the second far more comfortably than the first.

An answer to Wigner's puzzle would look like one of these positions defended with enough rigor that it makes new, checkable claims — about what kinds of mathematics we should expect to find useful next, about whether every fundamental physical theory must be expressible in pre-existing mathematics, or about whether there is some formal reason certain structures (symmetry groups, variational principles, self-adjoint operators) are so recurrently favored by nature. So far, no position has achieved that. The question remains open not for lack of trying, but because it sits at the seam between mathematics, physics, cognitive science, and metaphysics, and no single discipline owns enough of the seam to close it.

To feel the force of Wigner's puzzle you have to see how deep and how old the pattern actually is — this isn't a modern curiosity, it goes back to the beginning of mathematical modeling in physics as a discipline.

Galileo declared that the book of nature "is written in the language of mathematics," and he meant something specific: that geometry — triangles, parabolas, ratios — was not a convenient metaphor for motion but its literal grammar. When he rolled balls down inclined planes and found that distance traveled scaled with the square of elapsed time, he was finding, empirically, that a curve mathematicians already understood abstractly (the parabola, studied since antiquity for pure geometric interest) was secretly the shape of falling.

Newton went further. He needed a mathematics of instantaneous rates of change to make sense of acceleration, and where such mathematics didn't fully exist, he built it — the calculus. Here the fit runs the other direction from Wigner's paradigmatic cases: physics motivated the mathematics. That's the less surprising half of the story, and it's worth being honest about it, because a fair accounting of Wigner's puzzle has to admit that plenty of mathematics really was built to order, hand in glove with physical need. The truly startling cases are the ones where the order ran backward.

Consider conic sections. Apollonius of Perga classified ellipses, parabolas, and hyperbolas around 200 BCE as an exercise in pure geometry — slicing cones at different angles, with no physical application in mind. Eighteen centuries later, Kepler discovered that planets move in ellipses, and Newton showed that any object under an inverse-square force traces one of exactly Apollonius's three curves. The mathematics had been sitting on a shelf for two millennia, complete and finished, waiting for a physical question it happened to answer exactly.

Consider matrix algebra and group theory. Both were developed in the 19th century by mathematicians like Arthur Cayley and Évariste Galois to solve problems entirely internal to algebra — solving polynomial equations, classifying transformations. Group theory, which classifies symmetries in the abstract, later became the backbone of modern particle physics. The very existence and properties of particles are now understood through gauge theories and symmetry: the electromagnetic force emerges from a mathematical symmetry called U(1), the weak and strong forces from SU(2) and SU(3), and the entire Standard Model is, at bottom, a specification of which abstract symmetry groups nature has chosen to realize. Nobody built SU(3) to describe quarks. Mathematicians built SU(3) to classify the ways you can rotate an abstract three-dimensional complex space into itself. Physics discovered, decades later, that nature had apparently been "using" this structure all along to organize the strong nuclear force.

Consider Riemannian geometry. Bernhard Riemann developed the general theory of curved space in an 1854 lecture, "On the Hypotheses which lie at the Foundations of Geometry," as an exercise in mathematical generalization — what would geometry look like if you didn't assume flatness? He had no physical application in mind; general relativity was sixty years in the future. When Einstein needed exactly this mathematics to describe gravity as the curvature of spacetime, he had to be taught it by his friend and mathematician Marcel Grossmann, because it already existed, fully formed, unused, waiting.

Consider Hilbert spaces — infinite-dimensional vector spaces with a notion of angle and length, developed by David Hilbert around 1900 to study integral equations. A quarter-century later, quantum mechanics needed exactly this structure to describe the states of physical systems, with Hilbert-space vectors encoding everything knowable about an electron or a photon.

And consider Dirac's equation, with which this essay opened: the abstract algebra of "spinors," objects that behave differently from ordinary vectors under rotation, had been explored by mathematicians for its own formal interest before Dirac needed it to reconcile relativity and quantum spin — and the equation's internal mathematical consistency forced the prediction of antimatter before any experiment demanded it.

There is a philosophical vocabulary for framing why this should or shouldn't be surprising, and any reader coming from philosophy of science will recognize the fault lines. Platonism about mathematics holds that mathematical objects — numbers, groups, manifolds — exist in some abstract, non-physical, mind-independent realm, and mathematicians discover them rather than invent them. On this view, Wigner's puzzle dissolves somewhat: if physical reality and mathematical truth both answer to the same deep abstract order, their alignment is expected, even necessary, though it leaves the "why does an abstract realm govern a physical one" question just as mysterious as before. Formalism, by contrast, holds that mathematics is a game of symbol manipulation according to chosen axioms, with no external meaning at all — mathematical truths are true only relative to the rules, the way "checkmate" is true only relative to the rules of chess. On a pure formalist view, Wigner's puzzle becomes sharper, not softer: if mathematics is just a self-consistent game, its correspondence to an unrelated physical world looks like a much stranger coincidence, one formalism has no internal resources to explain.

A third stance, structural realism, sits between full metaphysical commitment and pure instrumentalism. It proposes that what science accumulates and gets right, across even dramatic theory changes, is not a picture of hidden physical stuff but a grip on relational structure — the mathematical pattern of relations among things, which can survive even when our story about the underlying entities is overturned. The equations of Fresnel's 19th-century optics, built on the false premise of a literal luminiferous ether, turned out to be mathematically continuous with Maxwell's later, ether-free electromagnetic theory: the structure survived the death of the substance it was supposedly describing. Structural realists take this as evidence that mathematical structure, not the metaphysical furniture we hang on it, is what physics is actually tracking — and if physical reality just is, in some sense, structural through and through, then mathematics fitting it stops being a coincidence and starts being almost definitional.

This is the settled part of the story: the historical record really does show mathematics, developed for internal formal reasons, repeatedly anticipating physical structure it was never built to describe. What's unsettled is what to make of it.

Most "frontier" scientific puzzles are anomalies embedded within an otherwise smooth theory: an orbit that precesses a little too much, a background hiss that shouldn't be there. Wigner's puzzle is stranger, because the "anomaly" is not a crack in a successful theory — it is the very success of the theories themselves, considered as a phenomenon in its own right. The puzzle doesn't live inside physics; it lives in the gap between physics and any account of why physics is possible at all.

Here is where the standard explanatory moves start to strain.

The "it's not that surprising" move strains against precision. It's easy to explain why some mathematics resembles the physical world: both were shaped, one might say, by requirements of consistency, and simple regularities (counting objects, tracking areas) are exactly what evolved cognition would need. But this explains only crude, low-precision correspondence. It does not explain why quantum electrodynamics predicts the electron's anomalous magnetic moment to an accuracy of about one part in a trillion, matching experiment to ten significant figures — one of the most precise agreements between theory and measurement in the history of science. No evolutionary pressure toward "recognizing patterns useful for survival" plausibly explains a formal apparatus (renormalized quantum field theory, built from abstractions with no sensory analog) landing on a number correct to twelve digits.

The "selection bias" move strains against novelty. It's true that we don't publish papers about the mathematics that didn't work, so our sample of "successful mathematics" is self-selected and impressive-looking by construction — a form of survivorship bias worth taking seriously. But this argument predicts that useful mathematics should mostly be mathematics built with physical application already loosely in mind, tools tried until one sticks. It struggles to explain cases like Riemannian geometry or group theory, developed decades or centuries before any physicist needed them, with their eventual physical use nowhere in the mathematician's head. The selection-bias story explains why we don't hear about failed guesses; it does not explain why the specific pre-existing structures picked out later, by physicists working independently, so often turn out to be exactly right rather than merely suggestive.

The Platonist move strains against arbitrariness. If mathematical objects exist necessarily, independent of physical instantiation, then it remains mysterious why this particular slice of the mathematical universe — real numbers, smooth manifolds, Hilbert spaces, particular Lie groups — is the slice nature happens to run on, while vastly many other logically consistent mathematical structures (other geometries, other group structures, other numbers of dimensions) apparently are not physically realized, at least not in our observable universe. Full-blooded Platonism explains why math and physics can align; it does not explain why they align on these structures and not others equally elegant.

The formalist move strains against unreasonable indispensability. If mathematics is merely a consistent symbol game with no inherent meaning, its brute usefulness for a domain (physical reality) that it was never designed to model becomes, if anything, more inexplicable rather than less. A tool built for no external purpose that nonetheless works with alien precision on an external problem is a stranger fact under formalism than under any view that ties mathematics to reality from the start.

There's a related and sharper worry buried in the foundations of mathematics itself, one that touches directly on the frontier of godel-incompleteness-mathematical-truth. Gödel showed that any sufficiently powerful formal system contains true statements it cannot prove from within, and that no such system can certify its own consistency. If mathematics is not a single seamless edifice of guaranteed truths but an ever-expanding, only partially self-certifying network of formal systems, then Wigner's puzzle gains an extra layer: physics doesn't just fit "mathematics" as if that were one settled thing — it fits particular formal systems, chosen among alternatives, whose own logical foundations are incomplete. Nobody has shown that Gödelian incompleteness has any direct physical consequence, but it is a sober reminder that "mathematics" is not the monolithic, fully secured bedrock that Wigner's puzzle sometimes implicitly assumes it to be.

No experiment will ever directly confirm or refute a philosophical thesis about why mathematics works, which is precisely what makes this a genuine frontier question rather than a solved textbook matter dressed up as a mystery. Four broad positions currently compete, each with real intellectual force and real unresolved cost.

1. The Mathematical Universe Hypothesis. Proposed and defended most systematically by the physicist Max Tegmark, this is Platonism pushed to its limit: physical reality is a mathematical structure, full stop, not merely described by one. On this view, there is no mystery about why mathematics fits the universe, because there is no universe distinct from the mathematics to begin with — asking why math describes physics is like asking why Euclidean geometry describes triangles. Every self-consistent mathematical structure, in this picture, corresponds to some really-existing universe, and we simply find ourselves in one complex enough to support observers. The appeal is that it fully dissolves Wigner's puzzle rather than merely relocating it. The trouble is severe: it is unclear how to test the claim even in principle, it requires explaining why we experience only one strand of a vast mathematical multiverse, and critics argue it conflates descriptions of structure with the structure itself — a map so perfect it claims to be the territory, without explaining why territory-hood requires anything beyond the map.

2. Evolutionary and cognitive naturalism. This position, associated with thinkers in cognitive science and philosophy of mathematics such as George Lakoff and Rafael Núñez, argues that mathematics is a human cognitive construction, built from embodied conceptual metaphors (grouping, motion along a path, containment) that evolved because they tracked features of the physical environment relevant to survival. Mathematics works on physics, on this view, because both are downstream of the same physical world that shaped the brain doing the mathematics. The appeal is naturalistic economy: no abstract Platonic realm required, no mysticism, just biology and history. The trouble is that this account is much more convincing for arithmetic and Euclidean geometry than for the exotic mathematics — infinite-dimensional Hilbert spaces, SU(3) gauge symmetry, 10-dimensional string compactifications — that turned out to be physically essential, none of which bears any obvious relation to ancestral survival pressures on the African savanna.

3. Structural realism. As sketched above, this position holds that mathematics fits physics because what physical theories actually latch onto, and what survives revolutionary theory change, is relational structure — and structure just is the sort of thing mathematics is built to express. Its chief architects include philosophers of science like John Worrall and, in a more metaphysically committed form, James Ladyman and Don Ross, who argue for "ontic structural realism": there is no hidden layer of stuff beneath the structure, structure is all the way down. This view has real appeal for physicists steeped in gauge theories and symmetry, where the physically meaningful content of a theory increasingly seems to be exactly its symmetry structure, and where "particles" are, formally, just labels for representations of symmetry groups. The trouble is that structural realism risks becoming true by definition — if we simply define physical reality as "whatever mathematical structure our best theories capture," the puzzle of why physics is capturable by mathematics threatens to be answered by fiat rather than genuinely explained.

4. The selection-and-graveyard view. A more modest, deflationary position, popular among working physicists skeptical of grand metaphysics, holds that Wigner's puzzle is real but smaller than it looks: mathematics is a vast combinatorial space of possible formal structures, physicists try many of them against nature, most fail silently and are forgotten, and the ones that succeed get enshrined as case studies in "unreasonable effectiveness." This view, associated loosely with mathematicians and physicists who favor pragmatic humility (voices like the physicist-mathematician Derek Abbott have made versions of this argument explicitly), predicts that the felt sense of miraculous fit is partly an artifact of only recounting the hits. Its appeal is methodological honesty and resistance to overclaiming. Its trouble, as noted above, is that it has difficulty accounting for the sheer precision of the deepest hits, and for cases — Riemannian geometry awaiting Einstein, spinor algebra awaiting Dirac — where the mathematics was essentially complete and untouched by trial-and-error tinkering before physics arrived to claim it.

None of these four positions is simply "the answer physicists believe." Working physicists mostly don't dwell on the question day to day, and when pressed, individual physicists scatter across all four camps, and combinations of them, often holding views that shift depending on which piece of physics they're thinking about at the time.

This is where honesty about the limits of knowledge matters most. Wigner's puzzle is not, in its full generality, an empirical question with a decisive experiment waiting at the end of it, the way the existence of the Higgs boson or gravitational waves were. It sits closer to the foundations of philosophy of science than to any single measurable phenomenon, and some serious thinkers argue it can never be "settled" in the way a physics experiment settles a physics question — because any proposed resolution is itself a metaphysical framework, not a testable hypothesis, and frameworks are judged by coherence and fruitfulness rather than falsification.

That said, there are at least three ways the landscape could shift meaningfully, short of a final answer.

Fundamental physics could stop finding new mathematics useful. If, over the coming decades, every advance in fundamental physics — a workable theory of quantum gravity, an explanation of dark matter and dark energy, a resolution of the continuum-hypothesis-set-theory-foundations-adjacent question of whether spacetime is fundamentally continuous or discrete at the smallest scales — turned out to require only mathematics already well understood and unsurprising, that would be some evidence for the deflationary, selection-based view: physics converging on a fixed, comprehensible toolkit rather than reaching for ever more exotic abstract structures. Conversely, if physicists working on quantum gravity keep needing genuinely new, previously "useless" mathematics — as happened when string theorists needed advances in algebraic geometry, or when the study of quantum entanglement started drawing unexpectedly on ideas from abstract algebra and even number theory — that would sharpen Wigner's puzzle rather than resolve it, extending the same startling pattern into new territory.

A successful "theory of everything" could clarify how much freedom nature actually had. One live question inside quantum gravity and string theory research is whether the mathematical structure of physical law is close to unique — forced by consistency requirements to be almost exactly what it is, with very little room for alternatives — or whether it is one arbitrary choice among a vast landscape of equally consistent possibilities. If it turned out that deep consistency requirements (things like the absence of mathematical anomalies, the demand for a well-defined quantum theory, tight constraints from symmetry) force the laws of physics to be nearly unique, that would support the view that mathematics fits physics because there was, in a real sense, almost no alternative — the universe had to be some consistent mathematical structure, and consistent mathematical structures are extremely constrained. If instead the landscape of possibilities turns out to be vast and physics just happens to occupy one corner of it (a live, actively debated possibility in string theory, associated with the so-called string landscape and anthropic reasoning), that would push toward selection-based or observer-selection explanations rather than deep necessity.

Progress in the foundations of mathematics and logic could reshape the question's terms. If mathematicians and logicians make headway on understanding why certain axiom systems (like those underlying set theory, implicated in debates like the continuum-hypothesis-set-theory-foundations question of whether the continuum hypothesis has a determinate truth value) feel forced or natural rather than arbitrary, that could inform whether "mathematics" is best understood as a single discoverable structure or an open-ended, humanly-constructed family of formal games. A related and increasingly discussed possibility comes from the frontier of machine-genuine-intelligence-agi: if artificial systems, trained with no human cognitive scaffolding or evolutionary history, independently rediscover the same mathematical structures that turned out to be physically essential — or, more provocatively, discover new mathematics that turns out to fit physical reality before any human anticipated it — that would be significant evidence against purely human-cognitive explanations of Wigner's puzzle. Early results in using machine learning to spot patterns in pure mathematics (for instance, DeepMind's 2021 work assisting mathematicians with conjectures in knot theory and representation theory) are a modest, early step in this direction, though far short of settling anything.

Realistically, most philosophers and physicists working on this expect it to remain permanently contested rather than resolved by a single decisive finding — more like the debate over free will or the interpretation of quantum mechanics than like a problem awaiting a specific experiment. What can genuinely shift, and shift on a timescale of years to decades, is the balance of evidence feeding each position, as fundamental physics, mathematical logic, and artificial intelligence research each report back.

It is tempting to file Wigner's puzzle under charming metaphysical trivia, a question for after-dinner conversation rather than serious research. That temptation should be resisted, because how you answer it quietly shapes real scientific practice.

If you lean Platonist — if you believe mathematical structures are "out there" waiting to be found, and that elegant, previously "useless" mathematics is a promising place to look for physical truth — you are more likely to pursue theories on grounds of mathematical beauty and consistency even far ahead of experimental guidance. This is, more or less, the working creed behind much of string theory and parts of theoretical high-energy physics: an explicit bet that mathematical elegance is a reliable guide to physical truth, defended vocally by physicists like the mathematician-physicist Edward Witten, and criticized just as vocally by others (Sabine Hossenfelder's Lost in Math is the best-known recent broadside) who argue that beauty has become an unreliable substitute for the falsifiable predictions that once anchored theoretical physics.

If you lean toward the deflationary, selection-based view, you are more likely to insist that physical theories earn their mathematics through hard-won empirical contact, and to be suspicious of programs — again, string theory is the recurring example in this debate — that have gone decades without new, uniquely confirming experimental predictions, no matter how mathematically rich the framework has become.

The stakes reach beyond method into self-understanding. If mathematics really does track something objective and mind-independent about reality's structure, that is a strange and consequential fact about minds like ours: creatures shaped by evolutionary pressures entirely local to a small planet, somehow capable of grasping truths that hold for the whole cosmos, for scales of energy and distance and time utterly outside anything ancestral human life ever encountered. That capacity, if it is real and not illusory, is worth marveling at rather than taking for granted. And if instead the fit is substantially an artifact of selective memory and post-hoc storytelling, that too is worth knowing clearly, because it recalibrates how much epistemic weight we should put on "mathematical beauty" as a guide when experiments run out — a live and urgent question for a physics that has, in places like quantum gravity, run far ahead of what current instruments can test.

The puzzle's modern name belongs to one physicist, but its lineage runs much further back, and its live pursuit continues today across physics, mathematics, and philosophy.

history

• 1854 — Riemann develops curved-space geometry with no physical motivation.
• 1915 — Einstein uses Riemannian geometry, essentially unmodified, for general relativity.
• 1928 — Dirac's equation, from pure mathematical consistency, predicts antimatter.
• 1960 — Wigner names "the unreasonable effectiveness of mathematics" in his landmark essay.

Stand back far enough and Wigner's puzzle stops looking like a single question and starts looking like a diagnostic instrument — a way of testing what you actually believe about the relationship between minds, symbols, and the world, by seeing which explanation of the fit you find satisfying. That is part of why it resists closure: it is not merely asking for a missing fact, the way "what causes gravity to be weaker than the other forces" is missing a fact. It is asking you to take a stand on the nature of mathematical existence itself, a question philosophy has argued over since Plato and Aristotle disagreed about whether forms exist independently of the things that instantiate them.

What makes the question worth sitting with, rather than shrugging off as unanswerable and therefore uninteresting, is that each proposed resolution makes quiet, real commitments that ripple outward into live scientific practice — into whether you chase mathematical elegance in the absence of data, into how much credence you give a theory of quantum gravity built almost entirely from formal consistency, into whether you expect an artificial intelligence trained on pure mathematics to stumble onto physically important structures before any physicist does. The puzzle is not idle. It is one of the load-bearing walls of how science understands its own reliability.

It's also worth being honest that the puzzle might be dissolved rather than solved — that some future generation might look back and decide the entire question rested on a confusion, the way some puzzles about "action at a distance" dissolved once field theory gave a different vocabulary for the same phenomena. That would itself be a kind of answer, just not the kind Wigner, or most people drawn to the question today, are expecting.

For now, the honest position is not agnosticism dressed up as depth, but genuine, structured uncertainty: we know the pattern is real, historically robust, and in places startlingly precise; we do not know whether it points to something necessary about reality, something contingent about minds, or something distorted about memory and storytelling.

Open sub-questions still very much alive:

• Is the mathematical structure of fundamental physics close to unique — forced by deep consistency — or one arbitrary corner of a vast landscape of equally consistent alternatives?
• Would a genuinely alien intelligence, or an artificial one with no evolutionary history, converge on the same mathematics we use to describe the physical world?
• Does Gödelian incompleteness in the foundations of mathematics have any physical consequence, or is physics immune to it in practice?
• Can "mathematical beauty" be defended as evidence for physical truth, or has that heuristic quietly outlived its reliability in frontier physics?
• Is there a way to make Wigner's puzzle empirically testable at all, or is it destined to remain a question philosophy answers and physics merely lives with?

Ask the tutor: If an artificial intelligence with no human sensory history or evolutionary past independently invented the same group theory that describes quarks, what would that tell us about whether mathematics is discovered or invented?