VibeMath∴ 中文

AI 数学前沿的实时索引、证据账本与 Agent 入口

VibeMath

看清 AI 在数学中解决了什么、什么仍然开放，以及下一步值得尝试什么。

面向人和 Agent 的开放地图：数学问题、AI 尝试、部分进展、解决声明、验证证据、方法族和可 Replay 机会。

搜索前沿 交给 Low-Hanging Fruit 继续攻关 English

当前页面使用生成于 2026-08-17 的内置 VibeMathed 启动快照；它不是全部数学开放问题数据库。联网运行 pnpm sync 可导入完整上游数据。

最新条目

resolved replay-ready

Erdős's Planar Unit Distance Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial Geometry
partial

The Quartic Hessian Conjecture in Dimension Four

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Polynomial automorphisms
candidate

Erdős Problem #267

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Irrationality

与相邻项目的关系

VibeMathed 重点记录 AI 参与解决的数学问题。VibeMath 绘制完整动态前沿：仍开放的问题、AI 尝试、部分进展、解决声明、验证状态、方法族，以及下一步值得尝试什么。

VibeMath 是独立开源项目，与 VibeMathed 及 BlinkDL/VibeMath 无隶属或官方合作关系。 

VibeMath
实时前沿、状态、证据、搜索
        │
        ▼
Low-Hanging Fruit
机会排序、Campaign、Pilot、验证
        │
        └──── 候选证据 ────▶ VibeMath 审核队列