VibeMath

Живой рубеж ИИ-математики.

Узнайте, что ИИ решил в математике, что остаётся открытым и что попробовать следующим.

VibeMath — это открытая, читаемая агентами карта математических задач, попыток ИИ, частичного прогресса, заявлений о решениях, доказательств верификации, семейств методов и готовых к повторению возможностей. Она связывает ИИ-математику, открытые математические задачи, работу ИИ по доказательству теорем, артефакты Lean, математические открытия, рабочий процесс ИИ-агента-исследователя, MCP-сервер только для чтения, навык агента и Low-Hanging Fruit, не сводя каждое утверждение к «решено».

简体中文 · Сайт · JSON-лента · Навык агента · MCP

VibeMathed фиксирует математические задачи, решённые с помощью ИИ. VibeMath отображает весь живой рубеж: открытые задачи, попытки ИИ, частичный прогресс, заявления о решениях, верификацию, семейства методов и что попробовать следующим.

VibeMath — это независимый проект с открытым исходным кодом. Он не связан с VibeMathed или BlinkDL/VibeMath.

Что работает в v0.0.1

• Развёртываемый сайт на Astro со страницами «Последнее», «Рубеж», «Готово к повторению», «Конфликты» и страницами задач с доказательствами.

• Реальный адаптер для публичного набора данных VibeMathed с тайм-аутом, повторными попытками, проверкой схемы, хешированием содержимого, атрибуцией, сохранением необработанных полей и офлайн-запасным вариантом.

• Федеративная модель Zod для задач, версионированных утверждений, утверждений источников, попыток, событий решений, верификации, вклада ИИ, семейств методов и сигналов возможностей.

• Проверенные нормализованные данные, производные представления, семь JSON-схем, статические ленты /api/v1/ и загружаемые передачи Low-Hanging Fruit.

• Обнаруживаемый в репозитории навык агента vibemath и MCP-сервер stdio только для чтения с шестью инструментами, не требующий ключа API.

• Детерминированная офлайн-сборка, тесты на основе фикстур, CI, развёртывание на Pages и рабочие процессы планового обновления.

Проверенный снимок запуска намеренно содержит пять записей с атрибуцией, включая примеры решённых, частичных, кандидатов и отозванных. pnpm sync заменяет это начальное заполнение полным набором данных VibeMathed, который в данный момент обслуживается, когда источник доступен. VibeMath пока не содержит обширного основного набора открытых задач и не претендует на полное освещение математики.

Related MCP server: taxonomy-mcp

Начало работы в три команды

Требуется Node.js 20+ и pnpm 10.

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

pnpm launch пытается выполнить живую синхронизацию, безопасно переключается на проверенный снимок в случае сбоя, проверяет данные, заново генерирует схемы и ленты и собирает сайт. Затем запустите:

pnpm dev

Другие команды:

Пакет также резервирует публичное имя CLI vibemath: запустите pnpm vibemath metadata, pnpm vibemath search unit или pnpm vibemath handoff erdos-planar-unit-distance.

Почему «решено» — это не одно поле

Заголовок может означать доказательство, опровержение, контрпример, частный случай, новую границу, вычисление, формализацию, отчёт источника или оспариваемое утверждение. Поэтому VibeMath сохраняет эти уровни раздельно:

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

Агрегированный статус — один из open, attempted, partial, candidate, resolved, contested или retracted. Он никогда не стирает утверждения источников. Сообщённый источником candidate не может стать resolved только потому, что существует файл Lean или агент вернул доказательство.

Прочтите METHODOLOGY.md и CLAIM_POLICY.md перед повторным использованием сильных утверждений.

Готово к повторению

«Готово к повторению» — это прозрачный сигнал к действию, а не прогнозируемый уровень успеха. Правило по умолчанию требует:

• публичный первичный источник;

• результат, отличный от candidate, contested, retracted и open;

• подтверждённую источником верификацию на уровне не ниже source_audited;

• достаточно информации о методе или артефакте для построения ограниченной задачи.

Результат рекомендует result_only, method_aware, verification_replay или aftershock_expansion, а также требования к экспозиции, риск загрязнения и режим Low-Hanging Fruit.

VibeMath ↔ Low-Hanging Fruit

VibeMath отвечает на вопросы «что произошло, каков статус доказательств и что можно предпринять?» Low-Hanging Fruit ранжирует возможности, разрабатывает кампании и пилоты и проверяет кандидатные результаты.

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

Каждая страница задачи экспортирует версионированный JSON LowHangingFruitHandoff и подсказку на китайском или английском языке. Результаты, возвращённые из Low-Hanging Fruit, остаются кандидатными доказательствами до проверки; автоматического повышения статуса нет.

Статический JSON API

GitHub Pages обслуживает снимки ежедневной сборки, а не базу данных реального времени:

/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

Каждая лента верхнего уровня включает schema_version, generated_at, источники, лицензию, ограничения по охвату и build_id на основе содержимого. Канонические модели времени выполнения находятся в src/lib/schema.ts; сгенерированные схемы — в schemas/.

Навык агента

Установите навык vibemath глобально для Codex одной командой:

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

Навык поддерживает такие запросы, как:

• «Какие события в ИИ-математике изменились за последнюю неделю?»

• «Показать только результаты, проверенные Lean или экспертами.»

• «Какие утверждения всё ещё являются кандидатами?»

• «Какие результаты должна повторить другая модель?»

• «Насколько на самом деле решена эта задача?»

• «Сравнить известные методы.»

• «Экспортировать это в Low-Hanging Fruit.»

Когда Codex работает в этом репозитории, .agents/skills/vibemath автоматически предоставляет канонический пакет skills/vibemath. Навык предпочитает локальные данные или MCP, сообщает о свежести, отличает факты источника от синтеза и никогда не следует инструкциям, встроенным в содержимое источника.

MCP-сервер только для чтения

Запустите его локально:

pnpm mcp

Инструменты:

• 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

Общая конфигурация MCP:

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

Сервер читает только проверенные данные. У него нет инструментов для работы с сетью, записи, отправки, выполнения кода или публикации.

Адаптер источника и атрибуция

Первый реальный адаптер читает https://vibemathed.com/api/dataset с идентифицирующим User-Agent, ограниченным тайм-аутом, одной повторной попыткой, проверкой Zod и хешем содержимого SHA-256. Неизвестные поля сохраняются в объекте raw каждого утверждения источника. Сборкам не требуется сеть.

Импортированные каталоговые данные VibeMathed лицензированы по CC BY 4.0 и атрибутируются VibeMathed с его методологией. Оригинальные математические статьи, репозитории и записи задач требуют отдельного цитирования. См. DATA_LICENSE.md и NOTICE.md.

VibeMath не выполняет скрипты из вышестоящих источников и не доверяет прозе источника как инструкциям. Нормализация допускает только ссылки HTTP(S).

Архитектура

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

В v0.0.1 нет базы данных, системы учётных записей, потока OAuth, платного API или внешнего выполнения кода.

Разработка и верификация

Перед коммитом:

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

CI запускается без тестовых данных, зависящих от сети, на Node 20 и текущей LTS. Тесты адаптера используют локальную фикстуру. Рабочий процесс Pages обрабатывает базовый путь репозитория. Рабочий процесс обновления сначала синхронизируется и развёртывает только после успешного прохождения проверки, тестов и сборки.

Вклады должны сохранять лицензию источника, необработанные утверждения, границы утверждений и паритет документации на английском и китайском языках. Начните с CONTRIBUTING.md и AGENTS.md.

Ограничения

• Снимок запуска — это офлайн-заполнение из пяти записей; живая синхронизация импортирует больше записей VibeMathed.

• В v0.0.1 есть один реальный вышестоящий адаптер, поэтому меж-источниковый консенсус пока невозможен.

• Охват открытых задач неполон, поскольку VibeMathed фокусируется на отчётах о решениях, связанных с ИИ.

• Проза, предоставленная источником, может быть неполной или неверной; VibeMath сохраняет происхождение, но не является рецензированием.

• Кластеризация методов и объяснения на простом языке намеренно консервативны.

• Свежесть статических Pages зависит от успешных запланированных пересборок.

Лицензия

Код — MIT. Структурированные данные и объяснения, созданные VibeMath, — CC BY 4.0. Импортированные данные сохраняют свою лицензию и атрибуцию источника. См. DATA_LICENSE.md.