Founders

The Panta Rhei Research Program is an independent open research program built by Anna-Sophie Fuchs and Thorsten Fuchs. There is no institutional sponsor, no grant, and no corporate backer. Independence is a chosen posture, not a constraint left over.

The program should be read through its public artifacts: the seven-book monograph series, the Lean 4 formalization library (TauLib), the public Release Manifest, the 67 pre-registered predictions and the 30 named falsification tests, and the inspection observatory at panta-rhei.site. The point of this page is not to substitute biography for that scrutiny. It is to make visible who carries responsibility for it, and through whom correspondence about the program currently flows.

Thorsten Fuchs

ORCID 0009-0007-0718-1042 LinkedIn Mastodon

Dr. Thorsten Fuchs studied pure mathematics — graduate work in algebraic structures — before spending many years in technology and business leadership at McKinsey & Company and, later, leading the Office Business Group at Microsoft Germany. Mathematics did not disappear during those years; it moved into the background and waited.

What brought him back was not nostalgia for abstraction, but a question he could not let go of: what if reality is more deeply coherent than it first appears?

In Panta Rhei he leads the formal and architectural side of that question — the kernel, the proofs, the inter-book structure, and the formal layer that accompanies the series through TauLib. The work spans the τ-kernel — five generators, one progression operator, and the K0–K6 structural commitments that anchor it — through to the seven-book monograph series and its formal companion. TauLib, the Lean 4 formalization library, currently ships 512 modules and 142,406 lines, certifying 4,863 theorems and lemmas with 0 sorry across the seven books and 3 disclosed custom axioms (one of which is a Grand Riemann Hypothesis-class conjecture imported as a Book III spectral bridge; results conditional on it are flagged on each Result page). The eight foundational hinge papers (H1–H8), the Master Constant ι_τ and its falsification hinge, the calibration cascade for the 67 pre-registered predictions, the Construction Spine of CS-01 through CS-10, and the Release Manifest discipline that pins each release to a specific TauLib commit and Mathlib revision are all his architectural authorship.

He presents the work not as a finished final word, but as a research architecture published for scrutiny on its own terms.

Anna-Sophie Fuchs

ORCID 0009-0007-3495-7416

Anna-Sophie Fuchs trained as an underwater archaeologist. Her work taught her how to excavate layered structures patiently, document fragile connections, and reconstruct wholes from buried fragments. Those habits transferred unexpectedly well into a long-form research architecture.

In Panta Rhei she brings structural mapping, editorial discipline, and the human questions that keep the project oriented toward lived reality. Where Thorsten tends to see algebraic architecture, Anna-Sophie sees what that architecture must still answer for actual readers. She carries the cross-book coherence that holds 535 chapters across 79 monograph parts together as one program rather than seven separate books, and she is the collaboration’s first skeptical reader, pressing every large claim to justify not only its ambition but also its language, scope, tone, and relation to actual readers. She co-stewards the public observatory’s editorial discipline, the assessment protocols at the inspection layer, and the engagement surfaces through which the program receives critique and correction.

Together

Together, Anna-Sophie and Thorsten built Panta Rhei as one coherent seven-book architecture rather than as seven separate books. The seven-book series is the current canonical monograph release; the program itself also includes this website, TauLib, the public registry, the guided tours, the verification companions, and the broader publication, verification, assessment, and engagement surfaces through which the work is made public.

The second edition follows a dual-track ethos of verification and scrutiny: the formal layer is accompanied by Lean 4 work through the TauLib library, while the books themselves aim to state their scope, bridges, and limits as clearly as possible. The result is a seven-book arc through mathematics, physics, life, and metaphysics, culminating in the final self-enrichment where proof reaches the boundary of commitment.

Their shared discipline can be stated simply:

First earn the language, then earn the question, then earn the answer.

That discipline shapes not only the mathematics, but the way the project presents itself to others. For the public doctrine behind it, see What We Mean by a Coherent Theory of Reality and the program’s voice posture in Independence, Scope & Scrutiny.

They live near Munich with their family.

Independent by choice — open to peer review on the program’s terms

The program is independently authored and self-funded. There is no institutional funding, no grant sponsor, and no corporate backer; there is no funder to disclose because there is no funder. That independence is part of why the program is published as an open architecture rather than as a journal-by-journal submission.

External peer review has not yet happened. The program publishes the surfaces a reviewer would need before asking for one — declared obligations, construction order, result status grammar, verification routes, named failure paths, correction channels, and citable publication artifacts under CC BY 4.0.

The program is open to peer review on its own terms. The Engage lane and the Verify lane describe the routes; the Journalist FAQ describes the posture for media and external review; specialist review proposals are welcome via the Contact page or the founders address below.

Current stewardship

The current public form of the program — its books, website, formalization surfaces, verification routes, and engagement surfaces — is stewarded directly by its founders.

Correspondence

For media, institutional, technical, or general correspondence regarding the Panta Rhei Research Program, please use the topic-specific routes on the site’s Contact page.

For a direct line to both founders — reserved for high-signal, low-volume inquiries:

Email: [email protected]