VibeMath

Die lebendige Grenze der KI-Mathematik.

Erfahre, was KI in der Mathematik gelöst hat, was noch offen ist und was als Nächstes versucht werden sollte.

VibeMath ist eine offene, von Agenten lesbare Karte von Mathematikproblemen, KI-Versuchen, Teilerfolgen, Lösungsbehauptungen, Verifikationsnachweisen, Methodenfamilien und wiederholbaren Gelegenheiten. Sie verbindet KI-Mathematik, offene Mathematikprobleme, KI-Beweis- und Theorembeweiser-Arbeit, Lean-Artefakte, mathematische Entdeckungen, einen KI-Forschungsagent-Workflow, einen schreibgeschützten MCP-Server, eine Agent-Fertigkeit und Low-Hanging Fruit, ohne jede Behauptung auf „gelöst“ zu vereinfachen.

简体中文 · Live-Website · JSON-Feed · Agent-Fertigkeit · MCP

VibeMathed zeichnet mit KI gelöste Mathematikprobleme auf. VibeMath kartiert die gesamte lebendige Grenzregion: offene Probleme, KI-Versuche, Teilerfolge, Lösungsbehauptungen, Verifikation, Methodenfamilien und was als Nächstes versucht werden sollte.

VibeMath ist ein unabhängiges Open-Source-Projekt. Es ist nicht mit VibeMathed oder BlinkDL/VibeMath verbunden.

Was in v0.0.1 funktioniert

• Eine bereitstellbare Astro-Seite mit Seiten für Aktuelles, Grenzregion, Wiederholbar, Konflikte und evidenzreiche Problemseiten.

• Ein echter Adapter für den öffentlichen VibeMathed-Datensatz mit Timeout, Wiederholung, Schema-Validierung, Inhalts-Hashing, Attribution, Rohfelderhaltung und Offline-Fallback.

• Ein föderiertes Zod-Modell für Probleme, versionierte Aussagen, Quellbehauptungen, Versuche, Lösungsereignisse, Verifikation, KI-Beitrag, Methodenfamilien und Gelegenheitssignale.

• Eingecheckte normalisierte Daten, abgeleitete Ansichten, sieben JSON-Schemata, statische /api/v1/-Feeds und herunterladbare Low-Hanging-Fruit-Übergaben.

• Eine repository-weit auffindbare vibemath-Agent-Fertigkeit und ein schreibgeschützter stdio-MCP-Server mit sechs Tools und ohne API-Schlüssel.

• Deterministischer Offline-Build, fixture-basierte Tests, CI, Pages-Bereitstellung und geplante Aktualisierungsworkflows.

Der eingecheckte Start-Snapshot enthält absichtlich fünf attribuierte Datensätze, darunter gelöste, teilweise, Kandidaten- und zurückgezogene Beispiele. pnpm sync ersetzt diesen Seed mit dem vollständigen aktuell bereitgestellten VibeMathed-Datensatz, wenn die Quelle erreichbar ist. VibeMath enthält noch keine breite offene Problem-Mastermenge und beansprucht keine vollständige Abdeckung der Mathematik.

Related MCP server: taxonomy-mcp

Start in drei Befehlen

Erfordert Node.js 20+ und pnpm 10.

git clone https://github.com/cyanseek/VibeMath.git
cd VibeMath && pnpm install
pnpm launch

pnpm launch versucht eine Live-Synchronisation, fällt sicher auf den validierten Snapshot zurück, validiert Daten, regeneriert Schemata und Feeds und erstellt die Seite. Dann ausführen:

pnpm dev

Weitere Befehle:

Das Paket reserviert auch den öffentlichen CLI-Namen vibemath: pnpm vibemath metadata, pnpm vibemath search unit oder pnpm vibemath handoff erdos-planar-unit-distance ausführen.

Warum „gelöst“ kein einzelnes Feld ist

Eine Überschrift kann einen Beweis, eine Widerlegung, ein Gegenbeispiel, einen Spezialfall, eine neue Schranke, eine Berechnung, eine Formalisierung, einen Quellenbericht oder eine umstrittene Behauptung bedeuten. VibeMath hält diese Ebenen daher getrennt:

Problem + versioned statement
        │
        ├── SourceAssertion A: resolved
        ├── SourceAssertion B: candidate
        └── SourceAssertion C: open
                    │
                    ▼
SolutionEvent + Attempt + MethodFamily
                    │
                    ▼
Verification
correctness · statement fidelity · peer review

Der aggregierte Status ist einer von open, attempted, partial, candidate, resolved, contested oder retracted. Er löscht niemals Quellbehauptungen. Ein quellberichtetes candidate kann nicht zu resolved werden, nur weil eine Lean-Datei existiert oder ein Agent einen Beweis zurückgibt.

Vor der Wiederverwendung starker Behauptungen METHODOLOGY.md und CLAIM_POLICY.md lesen.

Wiederholbar

Wiederholbar ist ein transparentes Handlungssignal, keine vorhergesagte Erfolgsrate. Die Standardregel erfordert:

• eine öffentliche Primärquelle;

• ein Ergebnis außerhalb von candidate, contested, retracted und open;

• quellberichtete Verifikation mindestens auf source_audited;

• genügend Methoden- oder Artefaktinformationen, um eine begrenzte Aufgabe zu konstruieren.

Die Ausgabe empfiehlt result_only, method_aware, verification_replay oder aftershock_expansion, zusammen mit Expositionsanforderungen, Kontaminationsrisiko und einem Low-Hanging-Fruit-Modus.

VibeMath ↔ Low-Hanging Fruit

VibeMath beantwortet „Was ist passiert, wie ist der Evidenzstatus und was ist umsetzbar?“. Low-Hanging Fruit bewertet Gelegenheiten, entwirft Kampagnen und Pilotversuche und verifiziert Kandidatenausgaben.

VibeMath
live frontier, status, evidence, search
        │
        ▼
Low-Hanging Fruit
ranking, campaigns, pilots, verification
        │
        └──── candidate evidence ────▶ VibeMath review queue

Jede Problemseite exportiert ein versioniertes LowHangingFruitHandoff-JSON und einen chinesischen oder englischen Prompt. Ergebnisse aus Low-Hanging Fruit bleiben Kandidaten-Evidenz bis zur Überprüfung; es gibt keine automatische Statusaufwertung.

Statische JSON-API

GitHub Pages stellt tägliche Build-Snapshots bereit, keine Echtzeit-Datenbank:

/api/v1/index.json
/api/v1/latest.json
/api/v1/replay-ready.json
/api/v1/problems.json
/api/v1/events.json
/api/v1/handoffs/{slug}.json

Jeder Top-Level-Feed enthält schema_version, generated_at, Quellen, Lizenz, Abdeckungsgrenzen und eine inhaltsadressierte build_id. Die kanonischen Laufzeitmodelle befinden sich in src/lib/schema.ts; generierte Schemata in schemas/.

Agent-Fertigkeit

Die vibemath-Fertigkeit mit einem Befehl global für Codex installieren:

npx skills add cyanseek/VibeMath --skill vibemath -g -a codex -y

Die Fertigkeit unterstützt Anfragen wie:

• „Welche KI-Mathematik-Ereignisse haben sich in der letzten Woche geändert?“

• „Nur Lean- oder expertenverifizierte Ergebnisse anzeigen.“

• „Welche Behauptungen sind noch Kandidat?“

• „Welche Ergebnisse sollte ein anderes Modell wiederholen?“

• „Wie weit ist dieses Problem tatsächlich gelöst?“

• „Die bekannten Methoden vergleichen.“

• „Dies nach Low-Hanging Fruit exportieren.“

Wenn Codex in diesem Repository arbeitet, stellt .agents/skills/vibemath das kanonische Paket skills/vibemath automatisch bereit. Die Fertigkeit bevorzugt lokale Daten oder MCP, meldet Aktualität, unterscheidet Quellfakten von Synthesen und folgt niemals Anweisungen, die in Quellinhalten eingebettet sind.

Schreibgeschützter MCP-Server

Lokal starten:

pnpm mcp

Tools:

• latest_ai_math_events

• search_math_frontier

• get_math_problem

• get_replay_candidates

• export_low_hanging_fruit_handoff

• get_vibemath_metadata

Codex CLI:

codex mcp add vibemath -- pnpm --dir /absolute/path/to/VibeMath mcp

Claude Code:

claude mcp add vibemath -- pnpm --dir /absolute/path/to/VibeMath mcp

Generische MCP-Konfiguration:

{
  "mcpServers": {
    "vibemath": {
      "command": "pnpm",
      "args": ["--dir", "/absolute/path/to/VibeMath", "mcp"]
    }
  }
}

Der Server liest nur eingecheckte Daten. Er hat kein Netzwerk-, Schreib-, Einreichungs-, Codeausführungs- oder Veröffentlichungstool.

Quelladapter und Attribution

Der erste echte Adapter liest https://vibemathed.com/api/dataset mit einem identifizierenden User-Agent, einem begrenzten Timeout, einer Wiederholung, Zod-Validierung und SHA-256-Inhalts-Hash. Unbekannte Felder bleiben unter dem raw-Objekt jeder Quellbehauptung erhalten. Builds benötigen kein Netzwerk.

Importierte VibeMathed-Katalogdaten sind unter CC BY 4.0 lizenziert und werden VibeMathed mit dessen Methodik zugeschrieben. Original-mathematische Arbeiten, Repositories und Problemdatensätze erfordern separate Zitierung. Siehe DATA_LICENSE.md und NOTICE.md.

VibeMath führt keine vorgeschalteten Skripte aus und vertraut Quellprosa nicht als Anweisungen. Nur HTTP(S)-Links werden von der Normalisierung akzeptiert.

Architektur

VibeMathed public dataset
        │ fetch + validate + hash
        ▼
data/raw snapshot ── offline fallback
        │ normalize without deleting raw assertions
        ▼
federated Zod entities
        │ derive
        ├── Astro pages + search
        ├── static JSON API
        ├── replay + handoff feeds
        ├── Agent Skill
        └── read-only MCP

Es gibt keine Datenbank, kein Kontosystem, keinen OAuth-Flow, keine kostenpflichtige API und keine externe Codeausführung in v0.0.1.

Entwicklung und Verifikation

Vor einem Commit:

pnpm validate
pnpm schemas
pnpm derive
pnpm lint
pnpm format:check
pnpm typecheck
pnpm test
pnpm build

CI läuft ohne netzwerkabhängige Testdaten unter Node 20 und dem aktuellen LTS. Adaptertests injizieren ein lokales Fixture. Der Pages-Workflow behandelt den Repository-Basispfad. Der Aktualisierungsworkflow synchronisiert zuerst und stellt nur nach erfolgreicher Validierung, Tests und Build bereit.

Beiträge müssen Quelllizenz, Rohbehauptungen, Behauptungsgrenzen und englisch/chinesische Dokumentationsparität wahren. Beginne mit CONTRIBUTING.md und AGENTS.md.

Einschränkungen

• Der Start-Snapshot ist ein Offline-Seed mit fünf Datensätzen; Live-Synchronisation importiert weitere VibeMathed-Datensätze.

• v0.0.1 hat einen echten vorgeschalteten Adapter, daher ist quellenübergreifender Konsens noch nicht möglich.

• Die Abdeckung offener Probleme ist unvollständig, da VibeMathed sich auf KI-assoziierte Lösungsberichte konzentriert.

• Vom Quelltext bereitgestellte Prosa kann unvollständig oder falsch sein; VibeMath bewahrt die Herkunft, ist aber kein Peer-Review.

• Methoden-Clustering und Erklärungen in einfacher Sprache sind bewusst konservativ.

• Die Aktualität statischer Seiten hängt von erfolgreichen geplanten Neuerstellungen ab.

Lizenz

Code ist MIT. Von VibeMath erstellte strukturierte Daten und Erklärungen sind CC BY 4.0. Importierte Daten behalten ihre Quelllizenz und -attribution. Siehe DATA_LICENSE.md.