Lokales KI-Ökosystem & Forschungsprojekte · Berlin 2026

Lokales System & Testprojekte Local System & Test Projects

Ein Experiment in lokaler KI-Infrastruktur, mathematischer Erkundung und selbstapplizierterpädagogischer Kompensation. Alle Berechnungen vollständig lokal auf Mac Studio M3 Ultra (256 GB), ohne API-Calls zu Cloud-Diensten.

Entstehungskontext

Dieses System ist ein just-for-fun-Experiment: Ich bin kein Programmierer und finde Coden äußerst lästig — mache es also minimalistisch und nur wenn es anders nicht geht. Ausgangspunkt war Neugier auf lokale KI-Infrastruktur, verbunden mit einer selbstironischen Aktion: In meinen Schulungen neige ich zu genau jenem Frontalunterricht, den ich vor 50 Jahren gräßlich fand. Ich versprach den TeilnehmerInnen kompensatorische Selbstapplikation — was mich in ein Bootcamp für neuronale Netze, KI und Verwandtes brachte. Das klappte erstaunlicherweise und führte zu explorativem Tinkering über mehrere Monate. Claude AI war dabei mein Implementierungsassistent.

Zwischenbilanz nach ~7 Monaten:

Typ A — Arbeit an inhaltlich nichttrivialen Themen mit dem Ziel eines „anregenden Mit-Lesers“ von Texten auf meinem Schreibtisch — funktioniert definitiv nicht. Genauer: Die Inhalte weiterverarbeitende Maschinerie funktioniert (CAS-Verifikation, Lean-Sieb, Komitee-Kritik, Retrieval, Buchführung), aber die Inhalte bereitstellenden Teile nicht. Lokale LLMs produzieren entweder Lawinen von Unsinn oder versinken in Trivialitäten.

Typ B — Sammeln, Auswerten und Aufbereiten großer Datenmengen zu inhaltlich einfachen Fragen (TransparenzAtlas, Economy Navigator u. a.) — funktioniert hervorragend; die Fehlermodi sind dort operativ (ausgefallene Dienste, blockierte APIs), nicht inhaltlich.

Der Grund: Erstens liegt solches Wissen im extremen Rand der Trainingsverteilung, und die für lokalen Betrieb nötige starke Quantisierung beschädigt genau diesen Rand zuerst. Zweitens bricht bei inhaltlich Nichttrivialem die Prüfen-ist-leichter-als-Erzeugen-Asymmetrie zusammen, auf der der Komitee-Ansatz beruht — der Prüfer braucht dasselbe seltene Wissen wie der Erzeuger. Drittens filtern die Werkzeuge auf der falschen Achse: Lean und CAS sieben Falsches aus, nicht aber Triviales; was das Sieb passiert, ist korrekt, aber selten interessant.

Ein anschließend vorgenommener Vergleich mit Frontier-Modellen (statt lokaler Modelle) zeigt: Sie sind dem lokalen System bei Kritik, Fehlersuche, Literaturgedächtnis und struktureller Klärung deutlich überlegen — ihre „inhaltlichen“ Beiträge waren durchweg ebenso dürftig. Der Leistungssprung zwischen „lokal“ und „frontier“ ist bei der Kritik-Funktion groß, bei „Inhaltlichem“ überraschend klein. Ein „anregender Mit-Leser“ entsteht so nicht.

Lokal realistisch erreichbar: ein rechnender Amanuensis — Verifikationsapparat, Retrieval über private Korpora, Buchführung — plus technisch exzellente Daten-Apps.

Über Infos und Anregungen würde ich mich freuen — Profis werden zahlreiche Schwächstellen entdecken, die mir völlig entgangen sind.

Infrastruktur

06

Lokales KI-Ökosystem

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

✓ AKTUELL · June 2026

22

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.

✓ ABGESCHLOSSEN · Juni 2026

23

Lokaler Chemie- & KI-Forschungsstack

Sechs Experimente mit Tellurium, MACE-OFF, PySCF, RDKit und ASE: Topologie-Dynamik-Klassifikation, Reaktions-Diffusion (Turing-Instabilität im Selkov-Modell: d₂/d₁ = 5,27), ML-Kraftfeld-Vergleich, Naturalist-AI-Experiment (26 LLM-Kategorien vs. 4 Grundwahrheitsklassen), Evolutionsstudie (Feinberg-Attraktor nicht bestätigt: δ=0 bei 3/20 Linien), Annahmen-Graph Isichei–Magueijo (PRL 136, 231501, 2026). Alle Berechnungen lokal, Juni 2026.

✓ ABGESCHLOSSEN · Juni 2026 · 6 Teilprojekte

Typische Fälle der 20+ Testprojekte des Typ A:

Type A · Public mathematical research app · local/on-premise compute

Nimstring Laboratory 3.3

DE: Öffentlich zugängliche Forschungs-App zu Dots and Boxes und Strings and Coins. Integriert sind exakte Punkte- und Nimstring-Analyse, affine Werte mit unabhängiger Kreuzvalidierung echter Zwei- und Drei-Komponenten-Summen, systematisch geprüfte Kontrolltheorie für einfache loony Endspiele, automatische Gegenbeispiel-Artefakte, sichere Graphreduktionen, prüfbare Zertifikate, Lean-Verifikation, Theorem-Labor und datengetriebene Visualisierungen.

EN: Public research app for Dots and Boxes and Strings and Coins. It integrates exact scoring and Nimstring analysis, affine values with independent cross-validation of genuine two- and three-component sums, systematically checked control theory for simple loony endgames, automatic counterexample artifacts, safe graph reductions, checkable certificates, Lean verification, a theorem laboratory, and data-driven visualizations.

App öffnen / Open app →

17

Mixmaster-GUP & Quantenchaos

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

✓ ABGESCHLOSSEN · 8 Phasen

26

Kann ein „schiefes“ Universum wie ein symmetrisches aussehen?

Offene Frage aus L. Heisenberg, arXiv:2512.16934 (Dez. 2025): kann ein homogener/isotroper Einsteintensor aus einer selbst nicht homogenen/isotropen Metrik entstehen? SageMath/SageManifolds-Rechnung (kugelsymmetrisch, statisch, symmetrische aber nicht notwendig verschwindende Materiequelle) reduziert die Frage auf eine explizite ODE dritter Ordnung. Potenzgesetze und logarithmische Korrekturen vollständig negativ (in zwei Eichungen bestätigt), Phasenraumanalyse liefert zwei Sättel. Numerisches Shooting findet eine echte, verifizierte nichttriviale Bahn — mit Materie, nicht im Vakuum (der Vakuumfall selbst erwies sich als Birkhoff-trivial). Erster echter Kandidat des Projekts.

⟳ OFFEN · SageManifolds · arXiv:2512.16934 · Juli 2026

Typische Testprojekte des Typ B (aus rechtlichen Gründen einige nur mit nachträglich stark vergröberten Ergebnissen):

01

Epistrophe: Antike Philosophie und die KI-Introspektionsdebatte

Proklos' und Plotins Begriff der epistrophē (Rückwendung zu sich selbst) als ontologische Alternative zu Henrichs Zirkularitätskritik und zur LLM-Introspektions-Unfaithfulness-Debatte. Primärquellenverifiziert (zwei unabhängige Proklos-Übersetzungen), mit echt ausgeführtem Z3-Code und Kanalkapazitäts-Berechnung. Strikt lokal erarbeitet (qwen3:235b, DeepSeek-R1-671B).

✓ ABGESCHLOSSEN (Kernfrage offen) · Juli 2026 · Neun-Phasen-Verfahren

LibrarySystem

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

↗ library.autark-data.org

3D-Bibliotheksnetzwerk

Dreidimensionale Netzwerkvisualisierung der Bibliotheksstruktur nach Themen, Autoren und Verbindungen.

↗ library3d.autark-data.org

TransparenzAtlas Deutschland

Wer beeinflusst wen? Netzwerkanalyse von Lobbyismus, Unternehmens- und Verwaltungsstrukturen in Deutschland: Lobbyregister (Bundestag), Bundesministerien, Abgeordnetenwatch, EU-Vergabedaten (TED), Handelsregister und mehr — verbunden durch TDA, Mereologie und graphentheoretische Analyse. Alle Daten aus gesetzlich vorgeschriebenen öffentlichen Quellen.

↗ transparenz.autark-data.org · Lobbyregister · Abgeordnetenwatch · TED · DIP

Drehtür-Datenbank Deutschland

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

↗ drehtuer.autark-data.org

DB / ÖPNV-Drehtür-Datenbank

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

↗ dboepnv.autark-data.org

Nebentätigkeiten-Transparenzportal

§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.

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

Economy Navigator – Deutsche Wirtschaft

41 NACE-Sektoren als 3D-Netzwerk, Schock-Simulator, Strukturwandel 2006–2025 und EZB-Live-Daten: Input-Output-Verf­lechtungen der deutschen Volkswirtschaft (Destatis/Eurostat), topologische Analyse (persistente Homologie), Chomsky–Marcolli Merge-Hierarchie und LLM-Erklärungen — alles lokal.

↗ economy.autark-data.org · Destatis I-O 2010–2023 · ECB Live-API · TopoX β⊂0;=4 β⊂1;=252

ERGO Intelligence Engine

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

↗ ergo.autark-data.org

24

GKV-Monitor — Deutsches Gesundheitssystem

Systematische Analyse des deutschen GKV-Systems: Kostenstruktur (538 Mrd. €), Kostentreiber, AMNOG-Nutzenbewertungen (G-BA), Pharma-Lobbying, Drehtür-Effekte und Reformpolitik 2026 (BStabG, KHAG, Notfallreform). Automatisierter täglicher Datenabruf via launchd (G-BA, BMG, Bundestag DIP). Alle Daten aus amtlichen, gemeinfrei nutzbaren Quellen. Kein Gewerbe, keine kommerzielle Absicht.

⟳ LAUFEND · tägl. 06:30 · G-BA · BMG · DIP · Destatis · Juni 2026

EU

Formale Compliance-Prüfungen: EU-Recht, Kohlenstoffmärkte, Wirtschaftsstatistik

Sechs maschinenverifizierte Prüfungen als Lean 4-Theoreme.

① EU-Richtlinienverzug (Deutschland: Whistleblower-RL +562 Tage)
② Supplement-Substanzen ohne EU-Zulassung (Collagen, Glucosamin, Probiotika u. a.)
③ Planfeststellungsverfahren — formale Dauer (SuedLink: 13+ Jahre)
④ ECA-Rechnungshof-Findings als formal beweisbare Theoreme
⑤ EU-ETS-Compliance-Check · Mehrjahres-Defizithistorie · freiwilliger Markt (CarbonPlan) · ITMO-Datensatz
⑥ BIP-Identität · Welt-Leistungsbilanz-Diskrepanz (IWF WEO)

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

GS

Gukov-Synthese – Keystone-Netzwerkanalyse

Übertragung von ML-Methoden aus der reinen Mathematik (ICML 2026) auf die Netzwerkstruktur des deutschen Lobbyregisters: Bimodalitäts-Diagnose, Brücken-Rollen-Analyse und exakte Critical-Node-Detection (MILP). Aggregiert, keine Personen- oder Organisationsnamen.

↗ 4.651 Organisationen · Hartigan-Dip p<0,0001 · CP-SAT exakt

K

Kita-Manipulierbarkeit – Mechanismus-Design-Studie

Formale Analyse: bricht die Geschwisterregel in Kita-Zuteilungsverfahren Strategiesicherheit? Zwei Implementierungsmodelle verglichen, eigene Deferred-Acceptance-Referenz gegen 10.000 Instanzen validiert, Z3-SAT-Stabilitätsprüfung. Struktur-Aussage, keine Anleitung.

↗ 0/23.000+ vs. 5–15 % manipulierbar · p<0,0001

DoSV

DoSV-Formalisierung – Studienplatzvergabe

Erste ausführbare, quellenbelegte Formalisierung der DoSV-Koordinierungsregeln (Stiftung für Hochschulzulassung) aus der offiziellen Verfahrensbeschreibung. Strategiesicherheit der Kern-Regeln erschöpfend geprüft: 57 von 57 Konfigurationen, 0 manipulierbar.

↗ hochschulstart.de · 57/57 geprüft · 3/3 Hypothesis-Invarianten

ET

Eurotransplant-Simulator – Zentrums-Strategie-Analyse

Lokale Reproduktion des echten, publizierten ELAS-Simulators (de Ferrante et al., arXiv:2410.10840, GPLv3) mit synthetischen Testdaten. Analyse: können Transplantationszentren durch strategisches Annahmeverhalten eigene Kennzahlen verbessern? Fall (ii), Zentrumsebene, höchste Sensibilität.

↗ arXiv:2410.10840 · 935/937 Tx simuliert · +7,7 % bei Strategie-Bias

Technischer Hinweis

Alle KI-basierten Analysen wurden vollständig lokal auf einem Mac Studio M3 Ultra (256 GB) mit Open-Source-Modellen via Ollama durchgeführt — ohne API-Calls zu OpenAI, Google oder Anthropic. Für lange Dokumente: DeepSeek V4 Flash (284B MoE, 256K Kontext). Für Synthese: qwen3:235b-a22b. Für adversarielle Prüfung: deepseek-r1:70b. Seitenberichte: Claude Sonnet 4.6 (Anthropic).