Lokales System & Testprojekte Local System & Test Projects

06

Lokales KI-Ökosystem

Local AI Ecosystem

Technische Dokumentation der Mac-Studio-M3-Ultra-Infrastruktur: LLM-Routing, RAG-Systeme, Vektordatenbanken, Master-Orchestrator, Chemie-/Neuro-Stack (Mai/Juni 2026).

Technical documentation of the Mac Studio M3 Ultra infrastructure: LLM routing, RAG systems, vector databases, Master Orchestrator, chemistry/neuro stack (May/June 2026).

✓ AKTUELL · June 2026

22

Gray-Scott × LLM-Agent

Gray-Scott × LLM-Agent

Erkundet ein Sprachmodell ein dynamisches System — oder ruft es nur sein Training ab? Verhaltenstest mit Gray-Scott-Reaktions-Diffusion, zwei Modellen, live im Browser simulierbar.

Does a language model explore a dynamical system — or retrieve its training? Behavioral test with Gray-Scott reaction-diffusion and two local models; live in-browser simulation included.

✓ ABGESCHLOSSEN · Juni 2026

01

Plotin im Silicon Valley

Plotinus in Silicon Valley

Drei Fragen, 1700 Jahre auseinander. Formale Strukturanalyse mit lokalem KI, Z3-Theorembeweiser und neoplatonischem Textkorpus.

Three questions, 1700 years apart — formal structure analysis with local AI, Z3 theorem prover, and Neoplatonic text corpus.

✓ ABGESCHLOSSEN

02

p-adische Theorie & kondensierte Mathematik

p-adic Theory & Condensed Mathematics

Formale Verifikation in Lean 4 (solide kondensierte Moduln, PR #39701), Dieudonné-Manin-Klassifikation, computeralgebraische Experimente mit formalen Gruppen.

Formal verification in Lean 4 (solid condensed modules, PR #39701), Dieudonné–Manin classification, computer-algebraic experiments with formal groups.

✓ LEAN PR EINGEREICHT

03

Derived Hecke I — Completed Cohomology

Derived Hecke I — Completed Cohomology

Trägt Emertons Completed Cohomology eine natürliche Struktur in der kondensierten Welt von Clausen–Scholze? Erstes Projekt dieser Reihe.

Does Emerton's completed cohomology carry a natural structure in Clausen–Scholze's condensed world? First project in this series.

✓ ABGESCHLOSSEN

07

VCQ3 / Derived Hecke II — Koszul-Dualität

VCQ3 / Derived Hecke II — Koszul Duality

Koszul-Dualität in D(Solid_ℤp), derived Hecke-Algebra, Prasanna–Venkatesh äußere Algebra-Wirkung in soliden Moduln. Adversarielle Multi-Modell-Analyse.

Koszul duality in D(Solid_ℤp), derived Hecke algebra, Prasanna–Venkatesh exterior algebra action in solid modules. Adversarial multi-model analysis.

✓ ABGESCHLOSSEN · 7 Phasen

08

Liquid Archimedes (LAQ)

Liquid Archimedes (LAQ)

Archimedische Seite der Prasanna–Venkatesh-Gradverteilung in liquiden ℝ-Moduln. Komplementärprojekt zu VCQ3 (p-adisch solid ↔ archimedisch liquid).

Archimedean side of the Prasanna–Venkatesh degree distribution in liquid ℝ-modules. Companion project to VCQ3 (p-adic solid ↔ archimedean liquid).

✓ ABGESCHLOSSEN · 8 Phasen

21

Connes–Consani F₁-Geometrie & FF-Kurve

Connes–Consani F₁ Geometry & FF Curve

Verbindet Connes–Consanis F₁-Siebarithmetik mit Scholzes Fargues-Fontaine-Kurve. Vier Forschungsfragen zur Trichomie, zum 6-Funktor-Formalismus und zu Theorem 3.16.

Connects Connes–Consani F₁ sieve arithmetic with Scholze's Fargues–Fontaine curve. Four research questions on trichotomy, the 6-functor formalism, and Theorem 3.16.

✓ ABGESCHLOSSEN · 4 Phasen · arXiv:2606.06604

04

Anima II — Topologie & Neoplatonismus

Anima II — Topology & Neoplatonism

Clausens Anima-Begriff (arXiv:2605.11950) verbindet mit der neoplatonischen Tradition. Homotopiegruppen von X_ℂ, kondensierte Kohomologie.

Clausen's concept of anima (arXiv:2605.11950) connects to the Neoplatonic tradition. Homotopy groups of X_ℂ, condensed cohomology.

✓ ABGESCHLOSSEN

09

Anima IV — Kenzo, Spektrum, GL₁-CLLC

Anima IV — Kenzo, Spectrum, GL₁-CLLC

Fünf Teilprojekte: Kenzo-Berechnungen (K(ℤ/2,n)), Rigiditätsanalyse des Spektrums, archimedische GL₁-CLLC (Hansen–Mann), Spektrale Aktion, k-Invarianten-Konsistenzbaum.

Five sub-projects: Kenzo computations (K(ℤ/2,n)), rigidity analysis of the spectrum, archimedean GL₁-CLLC (Hansen–Mann), spectral action, k-invariants consistency tree.

✓ ABGESCHLOSSEN · 5 Teilprojekte

10

Anima V — Bernoulli-Perioden & J-Homomorphismus

Anima V — Bernoulli Periods & J-Homomorphism

Bernoulli-Zahlen als Perioden der Anima X_ℂ, Adams e-Invariante, Verbindung zum J-Homomorphismus und stabilen Homotopiegruppen.

Bernoulli numbers as periods of the anima X_ℂ, Adams e-invariant, connection to the J-homomorphism and stable homotopy groups.

✓ ABGESCHLOSSEN · 2 Phasen

05

Arithmetische Chromatik

Arithmetic Chromaticity

Formale Gruppen, Höhenstratifizierung und spektrale Sequenzen. SageMath, Macaulay2, Lean 4.

Formal groups, height stratification and spectral sequences. SageMath, Macaulay2, Lean 4.

✓ ABGESCHLOSSEN

11

Reelle Multiplikation

Real Multiplication

Manin-Programm, NC-Tori, Hilbert-12-Problem. Nikolaevs Beweis der Manin-Vermutung (2021), Dang–Gargava–Li (2025). PARI/GP und LLM-Synthese.

Manin's program, NC-tori, Hilbert's 12th problem. Nikolaev's proof of Manin's conjecture (2021), Dang–Gargava–Li (2025). PARI/GP and LLM synthesis.

✓ ABGESCHLOSSEN · 4 Phasen

12

Greenberg-Vermutung

Greenberg's Conjecture

Iwasawa-Invarianten μ=0 und λ=0 für total-reelle Körper. Ferrero–Washington-Theorem, Gras'sche Reformulierung via Torsionsgruppen.

Iwasawa invariants μ=0 and λ=0 for totally real fields. Ferrero–Washington theorem, Gras's reformulation via torsion groups.

✓ ABGESCHLOSSEN · 5 Phasen

13

R2-Konjektur

R2 Conjecture

Toda-Tabelle, J-Bild, β₁-Element bei p=3. Kenzo-Berechnung von K(ℤ/2,4), Adams-Spektralsequenz, stabile Homotopiegruppen von Sphären.

Toda table, J-image, β₁ element at p=3. Kenzo computation of K(ℤ/2,4), Adams spectral sequence, stable homotopy groups of spheres.

✓ ABGESCHLOSSEN · 3 Phasen

14

Combe–Manin: NY-Operad, Typ-B-Arrangements

Combe–Manin: NY-Operad, Type-B Arrangements

New York-Operad, Typ-B-Hyperebenenarrangements, Poincaré-Polynome. Koordinatenwechsel y=2z−1 identifiziert NY-Straten mit Typ-B-Komplements.

New York operad, type-B hyperplane arrangements, Poincaré polynomials. The substitution y=2z−1 identifies NY-strata with type-B complements.

✓ ABGESCHLOSSEN · 3 Phasen

15

Arithmetische Eichtheorie

Arithmetic Gauge Theory

Acht Teilprojekte P1–P8: Verknüpfungsmatrix/Reidemeister-Torsion, Floer-Homologie & Iwasawa-Theorie, Hitchin-Fasern auf der FF-Kurve, p-adische Instantonen.

Eight sub-projects P1–P8: linking matrix/Reidemeister torsion, Floer homology & Iwasawa theory, Hitchin fibers on the FF curve, p-adic instantons.

✓ ABGESCHLOSSEN · 7 Phasen

16

Floer-Theorie & Kondensierte Mathematik

Floer Theory & Condensed Mathematics

Sechs Teilprojekte P-FL-1 bis P-FL-6: Verbindungen zwischen Floer-Homologie und kondensierter/solider Mathematik. Springer-Fasern, TDA, Novikov-Solidifizierung.

Six sub-projects P-FL-1 to P-FL-6: connections between Floer homology and condensed/solid mathematics. Springer fibers, TDA, Novikov solidification.

✓ ABGESCHLOSSEN · 14 Phasen

17

Mixmaster-GUP & Quantenchaos

Mixmaster-GUP & Quantum Chaos

Mixmaster-Universum und verallgemeinertes Unsicherheitsprinzip (GUP). BKL-Chaos, Mayer-Transfer-Operator, Selberg-Zeta-Funktion, kubisches Supplement.

Mixmaster universe and generalized uncertainty principle (GUP). BKL chaos, Mayer transfer operator, Selberg zeta function, cubic supplement.

✓ ABGESCHLOSSEN · 8 Phasen

18

Bost θ-Invarianten

Bost θ-Invariants

Bosts θ-Invarianten für Hermitesche Vektorbündel auf arithmetischen Kurven, Verbindungen zu Arakelov-Geometrie, Stark-Einheiten und Dirichlet L-Funktionen.

Bost's θ-invariants for Hermitian vector bundles on arithmetic curves, connections to Arakelov geometry, Stark units, and Dirichlet L-functions.

✓ ABGESCHLOSSEN · 5 Phasen

20

Gravitationskollaps — Numerik & Analytik

Gravitational Collapse — Numerics & Analytics

Choptuik (SpheriCo.jl, p_c=0,16552…, γ=0,368); ODE-Phasendiagramm (Jampolski–Rezzolla, γ≈1,0 Landau-Typ); EEG-DSS LO+NLO ausgeführt: τ₀=0,240184, Konsistenzlinie A₃=A₁/15,95, D_min=80, 1/D divergiert bei D=4 (NLO/LO=17).

Choptuik (SpheriCo.jl, p_c=0.16552…, γ=0.368); ODE phase diagram (Jampolski–Rezzolla, γ≈1.0 Landau-type); EEG-DSS LO+NLO executed: τ₀=0.240184, consistency line A₃=A₁/15.95, D_min=80, 1/D diverges at D=4 (NLO/LO=17).

✓ ABGESCHLOSSEN · 3 Teilprojekte · SpheriCo.jl · NRPy+ · arXiv:2509.15302 · arXiv:2601.14358

19

Die gemeinsame Klammer

The Common Bracket

Cartier-Dualität auf Gestalten als übergreifendes Strukturprinzip: Verbindung zwischen VCQ3 (solid), LAQ (liquid), Anima IV und allen anderen Projekten.

Cartier duality on Gestalten as an overarching structural principle: connecting VCQ3 (solid), LAQ (liquid), Anima IV, and all other projects.

✓ ABGESCHLOSSEN · 2 Phasen

LibrarySystem

LibrarySystem

Webkatalog der Privatbibliothek (~5.800 Bücher) mit semantischer Volltextsuche und BGE-M3-Vektorindex.

Web catalogue of the private library (~5,800 volumes) with semantic full-text search and BGE-M3 vector index.

↗ library.autark-data.org

3D-Bibliotheksnetzwerk

3D Library Network

Dreidimensionale Netzwerkvisualisierung der Bibliotheksstruktur nach Themen, Autoren und Verbindungen.

Three-dimensional network visualisation of the library structure by subject, author, and cross-connections.

↗ library3d.autark-data.org

DB / ÖPNV-Drehtür-Datenbank

DB / Public Transport Revolving-Door Database

Drehtür-Datenbank für Deutsche Bahn und ÖPNV-Unternehmen: Wechsel zwischen Politik und Verkehrssektor.

Revolving-door database for Deutsche Bahn and public transport companies: tracking movement between politics and the transport sector.

↗ dboepnv.autark-data.org

ERGO Intelligence Engine

ERGO Intelligence Engine

KI-gestützte Analyse- und Rechercheplattform über die ERGO Group AG.

AI-assisted analysis and research platform about ERGO Group AG.

↗ ergo.autark-data.org

Drehtür-Datenbank Deutschland

German Revolving-Door Database

Datenbank und Visualisierung zum Drehtür-Effekt in der deutschen Politik (LobbyRG): Wechsel zwischen öffentlichem Dienst und Privatwirtschaft.

Database and visualisation of the revolving-door effect in German politics (LobbyRG): movements between public office and the private sector.

↗ drehtuer.autark-data.org

Nebentätigkeiten-Transparenzportal

Parliamentary Side-Income Transparency Portal

§44a AbgG formal prüfbar: Verdachtsfälle (delta > 90 Tage), Wahlperioden-Konsistenz, Lean 4-Verifikation. Daten: Abgeordnetenwatch API (~18.000 Einträge, CC0), auto-refresh täglich.

§44a AbgG formally verifiable: suspicious filings (delta > 90 days), cross-period consistency, Lean 4 verification. Data: Abgeordnetenwatch API (~18,000 entries, CC0), auto-refreshed daily.

↗ nebentaetigkeit.autark-data.org · Lean 4: github.com/thothrde/formal-nebentaetigkeit

EU

EU-Recht formal: Richtlinienverzug, Health Claims, Planfeststellung, Rechnungshof

EU Law Formally: Directive Delays, Health Claims, Planning Law, Court of Auditors

Vier maschinenverifizierte Compliance-Prüfungen als Lean 4-Theoreme: (1) Wer hat EU-Richtlinien zu spät umgesetzt? (Deutschland: Whistleblower +562 Tage). (2) Welche Supplement-Substanzen sind im EU-Register nicht zugelassen? (Collagen, Glucosamin, Probiotika u.a.). (3) Wie lang dauern Planfeststellungsverfahren wirklich? (SuedLink: 13+ Jahre). (4) ECA-Rechnungshof-Findings als formal beweis­bare Theoreme.

Four machine-verified compliance checks as Lean 4 theorems: (1) Who transposed EU directives late? (Germany: Whistleblower +562 days). (2) Which supplement substances are unauthorised in the EU register? (Collagen, Glucosamine, Probiotics etc.). (3) How long do German planning procedures actually take? (SuedLink: 13+ years). (4) ECA Court of Auditors findings as formally provable theorems.

↗ formal.autark-data.org · EUR-Lex · EFSA · UVP-Verbund · ECA · Lean 4