VibeMath

AI数学的前沿阵地。

了解AI在数学领域解决了什么、哪些问题仍然开放、下一步该尝试什么。

VibeMath是一份开放的、可供AI智能体读取的数学问题地图，涵盖数学问题、AI尝试、部分进展、解决方案声明、验证证据、方法族以及可复现的机会。它将AI数学、开放数学问题、AI证明与定理证明工作、Lean制品、数学发现、AI研究智能体工作流、只读MCP服务器、智能体技能以及Low-Hanging Fruit连接起来，而不会将每个声明都扁平化为“已解决”。

English · 在线站点 · JSON Feed · 智能体技能 · MCP

VibeMathed 记录的是借助AI解决的数学问题。 VibeMath 描绘的是整个前沿阵地：开放问题、AI尝试、部分进展、解决方案声明、验证、方法族以及下一步尝试。

VibeMath 是一个独立的开源项目。它与 VibeMathed 或 BlinkDL/VibeMath 无关。

v0.0.1 功能

• 一个可部署的 Astro 站点，包含最新、前沿、可复现、冲突以及带有丰富证据的问题页面。

• 一个针对公开VibeMathed数据集的真实适配器，具备超时、重试、模式验证、内容哈希、归属、原始字段保留以及离线回退功能。

• 一个联邦 Zod 模型，用于问题、版本化声明、来源断言、尝试、解决方案事件、验证、AI贡献、方法族以及机会信号。

• 已签入的规范化数据、派生视图、七个 JSON 模式、静态 /api/v1/ 数据源以及可下载的 Low-Hanging Fruit 交接文件。

• 一个仓库可发现的 vibemath 智能体技能，以及一个无需 API 密钥的六工具只读 stdio MCP 服务器。

• 确定性离线构建、基于夹具的测试、CI、Pages 部署以及定时刷新工作流。

已签入的启动快照有意包含五条带归属的记录，包括已解决、部分、候选和撤回示例。pnpm sync 会将此种子替换为在源可达时的完整当前服务数据集。VibeMath 目前尚未包含广泛的开放问题母集，也不声称覆盖全部数学领域。

Related MCP server: gitatlas

三步启动

需要 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；

• 足够的方法或制品信息以构建有界任务。

输出推荐 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

每个问题页面导出一个版本化的 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/ 中。

智能体技能

通过一条命令全局安装 vibemath 技能到 Codex：

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

该技能支持以下请求：

• “过去一周 AI 数学事件发生了什么变化？”

• “仅显示经过 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 侧重于与 AI 相关的解决方案报告。

• 来源提供的散文可能不完整或错误；VibeMath 保留出处但不进行同行评审。

• 方法聚类和通俗解释刻意保持保守。

• 静态页面的新鲜度取决于成功的定时重建。

许可

代码为 MIT。VibeMath 原创的结构化数据和解释为 CC BY 4.0。导入的数据保留其源许可和归属。请参见 DATA_LICENSE.md。