VibeMath

La Frontera Viva de las Matemáticas con IA.

Descubre qué ha resuelto la IA en matemáticas, qué sigue abierto y qué probar a continuación.

VibeMath es un mapa abierto y legible por agentes de problemas matemáticos, intentos de IA, avances parciales, afirmaciones de solución, evidencia de verificación, familias de métodos y oportunidades listas para reproducir. Conecta matemáticas con IA, problemas matemáticos abiertos, trabajo de demostración y teoremas con IA, artefactos de Lean, descubrimiento matemático, un flujo de trabajo de agente de investigación de IA, un servidor MCP de solo lectura, una habilidad de agente y Low-Hanging Fruit sin aplanar cada afirmación en "resuelto".

简体中文 · Sitio en vivo · Feed JSON · Habilidad de agente · MCP

VibeMathed registra problemas matemáticos resueltos con IA. VibeMath mapea toda la frontera viva: problemas abiertos, intentos de IA, avances parciales, afirmaciones de solución, verificación, familias de métodos y qué probar a continuación.

VibeMath es un proyecto independiente de código abierto. No está afiliado a VibeMathed ni a BlinkDL/VibeMath.

Qué funciona en v0.0.1

• Un sitio Astro desplegable con páginas de problemas de Último, Frontera, Listo para reproducir, Conflictos y evidencia rica.

• Un adaptador real para el conjunto de datos público de VibeMathed, con tiempo de espera, reintento, validación de esquema, hash de contenido, atribución, preservación de campos sin procesar y respaldo sin conexión.

• Un modelo federado Zod para problemas, declaraciones versionadas, afirmaciones de fuente, intentos, eventos de solución, verificación, contribución de IA, familias de métodos y señales de oportunidad.

• Datos normalizados verificados, vistas derivadas, siete esquemas JSON, feeds estáticos /api/v1/ y transferencias descargables de Low-Hanging Fruit.

• Una habilidad de agente vibemath detectable en el repositorio y un servidor MCP stdio de solo lectura con seis herramientas y sin clave API.

• Compilación determinista sin conexión, pruebas basadas en fixtures, CI, despliegue en Pages y flujos de trabajo de actualización programada.

La instantánea de lanzamiento verificada contiene intencionalmente cinco registros atribuidos, incluidos ejemplos resueltos, parciales, candidatos y retractados. pnpm sync reemplaza esa semilla con el conjunto de datos completo de VibeMathed actualmente servido cuando la fuente es accesible. VibeMath aún no contiene un conjunto amplio de problemas abiertos y no reclama cobertura completa de las matemáticas.

Related MCP server: taxonomy-mcp

Comienza con tres comandos

Requiere Node.js 20+ y pnpm 10.

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

pnpm launch intenta una sincronización en vivo, recurre de forma segura a la instantánea validada, valida datos, regenera esquemas y feeds, y compila el sitio. Luego ejecuta:

pnpm dev

Otros comandos:

El paquete también reserva el nombre CLI público vibemath: ejecuta pnpm vibemath metadata, pnpm vibemath search unit o pnpm vibemath handoff erdos-planar-unit-distance.

Por qué "resuelto" no es un solo campo

Un titular puede significar una demostración, refutación, contraejemplo, caso especial, nuevo límite, cómputo, formalización, informe de fuente o afirmación en disputa. Por lo tanto, VibeMath mantiene estas capas separadas:

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

El estado agregado es uno de open, attempted, partial, candidate, resolved, contested o retracted. Nunca borra las afirmaciones de la fuente. Una candidate reportada por la fuente no puede convertirse en resolved simplemente porque exista un archivo Lean o un agente devuelva una demostración.

Lee METHODOLOGY.md y CLAIM_POLICY.md antes de reutilizar afirmaciones contundentes.

Listo para reproducir

Listo para reproducir es una señal de acción transparente, no una tasa de éxito predicha. La regla predeterminada requiere:

• una fuente primaria pública;

• un resultado fuera de candidate, contested, retracted y open;

• verificación reportada por la fuente al menos en source_audited;

• suficiente información de método o artefacto para construir una tarea acotada.

La salida recomienda result_only, method_aware, verification_replay o aftershock_expansion, junto con requisitos de exposición, riesgo de contaminación y un modo Low-Hanging Fruit.

VibeMath ↔ Low-Hanging Fruit

VibeMath responde "¿qué pasó, cuál es su estado de evidencia y qué es accionable?" Low-Hanging Fruit clasifica oportunidades, diseña campañas y pilotos, y verifica salidas candidatas.

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

Cada página de problema exporta un JSON LowHangingFruitHandoff versionado y un prompt en chino o inglés. Los resultados que regresan de Low-Hanging Fruit siguen siendo evidencia candidata hasta que se revisan; no hay una actualización automática de estado.

API JSON estática

GitHub Pages sirve instantáneas de compilación diaria, no una base de datos en tiempo real:

/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

Cada feed de nivel superior incluye schema_version, generated_at, fuentes, licencia, límites de cobertura y un build_id con direccionamiento de contenido. Los modelos canónicos en tiempo de ejecución están en src/lib/schema.ts; los esquemas generados están en schemas/.

Habilidad de agente

Instala la habilidad vibemath globalmente para Codex en un comando:

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

La habilidad admite solicitudes como:

• "¿Qué eventos de matemáticas con IA cambiaron en la última semana?"

• "Muestra solo resultados verificados por Lean o expertos."

• "¿Qué afirmaciones siguen siendo Candidatas?"

• "¿Qué resultados debería reproducir otro modelo?"

• "¿Qué tan resuelto está realmente este problema?"

• "Compara los métodos conocidos."

• "Exporta esto a Low-Hanging Fruit."

Cuando Codex trabaja en este repositorio, .agents/skills/vibemath expone automáticamente el paquete canónico skills/vibemath. La habilidad prefiere datos locales o MCP, informa frescura, distingue hechos de fuente de síntesis y nunca sigue instrucciones incrustadas en el contenido de la fuente.

Servidor MCP de solo lectura

Inícialo localmente:

pnpm mcp

Herramientas:

• 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

Configuración MCP genérica:

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

El servidor solo lee datos verificados. No tiene herramienta de red, escritura, envío, ejecución de código o publicación.

Adaptador de fuente y atribución

El primer adaptador real lee https://vibemathed.com/api/dataset con un User-Agent identificativo, un tiempo de espera acotado, un reintento, validación Zod y hash de contenido SHA-256. Los campos desconocidos sobreviven bajo el objeto raw de cada afirmación de fuente. Las compilaciones no necesitan la red.

Los datos del catálogo importado de VibeMathed tienen licencia CC BY 4.0 y se atribuyen a VibeMathed con su metodología. Los artículos matemáticos originales, repositorios y registros de problemas requieren citación por separado. Consulta DATA_LICENSE.md y NOTICE.md.

VibeMath no ejecuta scripts ascendentes ni confía en la prosa de la fuente como instrucciones. Solo se admiten enlaces HTTP(S) mediante normalización.

Arquitectura

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

No hay base de datos, sistema de cuentas, flujo OAuth, API de pago o ejecución de código externo en v0.0.1.

Desarrollo y verificación

Antes de un commit:

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

CI se ejecuta sin datos de prueba dependientes de la red en Node 20 y la LTS actual. Las pruebas del adaptador inyectan un fixture local. El flujo de trabajo de Pages maneja la ruta base del repositorio. El flujo de trabajo de actualización sincroniza primero y despliega solo después de que la validación, las pruebas y la compilación tengan éxito.

Las contribuciones deben preservar la licencia de la fuente, las afirmaciones sin procesar, los límites de las afirmaciones y la paridad de la documentación en inglés/chino. Comienza con CONTRIBUTING.md y AGENTS.md.

Limitaciones

• La instantánea de lanzamiento es una semilla sin conexión de cinco registros; la sincronización en vivo importa más registros de VibeMathed.

• v0.0.1 tiene un adaptador ascendente real, por lo que el consenso entre fuentes aún no es posible.

• La cobertura de problemas abiertos es incompleta porque VibeMathed se centra en informes de solución asociados con IA.

• La prosa proporcionada por la fuente puede ser incompleta o incorrecta; VibeMath preserva la procedencia pero no es una revisión por pares.

• La agrupación de métodos y las explicaciones en lenguaje sencillo son deliberadamente conservadoras.

• La frescura de Pages estática depende de reconstrucciones programadas exitosas.

Licencia

El código es MIT. Los datos estructurados y las explicaciones creados por VibeMath son CC BY 4.0. Los datos importados conservan su licencia y atribución de fuente. Consulta DATA_LICENSE.md.