VibeMath

AI 수학의 살아있는 최전선.

AI가 수학에서 무엇을 해결했는지, 무엇이 여전히 열려 있는지, 그리고 다음에 무엇을 시도할지 알아보세요.

VibeMath는 수학 문제, AI 시도, 부분적 진전, 해결 주장, 검증 증거, 방법군, 재현 가능한 기회에 대한 개방적이고 에이전트가 읽을 수 있는 지도입니다. 이는 AI 수학, 열린 수학 문제, AI 증명 및 정리 증명 작업, Lean 아티팩트, 수학적 발견, AI 연구 에이전트 워크플로우, 읽기 전용 MCP 서버, 에이전트 스킬, 그리고 Low-Hanging Fruit를 모든 주장을 "해결됨"으로 평탄화하지 않고 연결합니다.

简体中文 · 라이브 사이트 · JSON 피드 · 에이전트 스킬 · MCP

VibeMathed는 AI로 해결된 수학 문제를 기록합니다. VibeMath는 전체 살아있는 최전선을 매핑합니다: 열린 문제, AI 시도, 부분적 진전, 해결 주장, 검증, 방법군, 그리고 다음에 시도할 것.

VibeMath는 독립적인 오픈 소스 프로젝트입니다. VibeMathed 또는 BlinkDL/VibeMath와 제휴 관계가 아닙니다.

v0.0.1에서 작동하는 것

• 최신, 최전선, 재현 준비, 충돌 및 증거가 풍부한 문제 페이지가 있는 배포 가능한 Astro 사이트.

• 공개 VibeMathed 데이터셋을 위한 실제 어댑터(타임아웃, 재시도, 스키마 검증, 콘텐츠 해싱, 속성 표시, 원시 필드 보존 및 오프라인 폴백 포함).

• 문제, 버전 관리된 명제, 소스 주장, 시도, 해결 이벤트, 검증, AI 기여, 방법군 및 기회 신호를 위한 연합된 Zod 모델.

• 체크인된 정규화된 데이터, 파생된 뷰, 7개의 JSON 스키마, 정적 /api/v1/ 피드 및 다운로드 가능한 Low-Hanging Fruit 핸드오프.

• 저장소에서 검색 가능한 vibemath 에이전트 스킬 및 API 키가 없는 6개 도구, 읽기 전용 stdio MCP 서버.

• 결정론적 오프라인 빌드, 픽스처 기반 테스트, CI, Pages 배포 및 예약된 새로고침 워크플로우.

체크인된 출시 스냅샷은 의도적으로 해결됨, 부분적, 후보 및 철회된 예시를 포함한 5개의 속성 레코드를 포함합니다. 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는 Lean 파일이 존재하거나 에이전트가 증명을 반환한다고 해서 resolved가 될 수 없습니다.

강력한 주장을 재사용하기 전에 METHODOLOGY.md 및 CLAIM_POLICY.md를 읽으십시오.

재현 준비

재현 준비는 예측된 성공률이 아닌 투명한 행동 신호입니다. 기본 규칙은 다음을 요구합니다:

• 공개 기본 소스;

• candidate, contested, retracted 및 open 외부의 결과;

• source_audited 이상의 소스 보고 검증;

• 제한된 작업을 구성하기에 충분한 방법 또는 아티팩트 정보.

출력은 노출 요구 사항, 오염 위험 및 Low-Hanging Fruit 모드와 함께 result_only, method_aware, verification_replay 또는 aftershock_expansion을 권장합니다.

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

모든 문제 페이지는 버전 관리된 LowHangingFruitHandoff JSON과 중국어 또는 영어 프롬프트를 내보냅니다. 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/에 있습니다.

에이전트 스킬

Codex용 vibemath 스킬을 한 명령으로 전역에 설치합니다:

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

스킬은 다음과 같은 요청을 지원합니다:

• "지난 주에 어떤 AI 수학 이벤트가 변경되었습니까?"

• "Lean 또는 전문가가 검증한 결과만 표시합니다."

• "어떤 주장이 여전히 후보(Candidate)입니까?"

• "다른 모델이 재현해야 할 결과는 무엇입니까?"

• "이 문제가 실제로 얼마나 해결되었습니까?"

• "알려진 방법을 비교합니다."

• "이것을 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"]
    }
  }
}

서버는 체크인된 데이터만 읽습니다. 네트워크, 쓰기, 제출, 코드 실행 또는 게시 도구가 없습니다.

소스 어댑터 및 속성 표시

첫 번째 실제 어댑터는 식별 User-Agent, 제한된 타임아웃, 한 번의 재시도, Zod 검증 및 SHA-256 콘텐츠 해시와 함께 https://vibemathed.com/api/dataset을 읽습니다. 알 수 없는 필드는 각 소스 주장의 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로 시작하십시오.

제한 사항

• 출시 스냅샷은 5개 레코드의 오프라인 시드입니다. 라이브 동기화는 더 많은 VibeMathed 레코드를 가져옵니다.

• v0.0.1에는 하나의 실제 업스트림 어댑터가 있으므로 교차 소스 합의는 아직 불가능합니다.

• 열린 문제 범위는 VibeMathed가 AI 관련 해결 보고서에 초점을 맞추기 때문에 불완전합니다.

• 소스 제공 산문은 불완전하거나 잘못될 수 있습니다. VibeMath는 출처를 보존하지만 동료 검토는 아닙니다.

• 방법 클러스터링 및 평이한 언어 설명은 의도적으로 보수적입니다.

• 정적 Pages의 신선도는 성공적인 예약된 재빌드에 따라 달라집니다.

라이선스

코드는 MIT입니다. VibeMath가 작성한 구조화된 데이터 및 설명은 CC BY 4.0입니다. 가져온 데이터는 소스 라이선스 및 속성 표시를 유지합니다. DATA_LICENSE.md를 참조하십시오.