Jacobian is a tool that helps mathematicians, students, and enthusiasts test and explore potential proofs for unverified mathematical conjectures.
2 upvotes
Tracked by Kanon since Jul 31, 2026
🤖 Agent teardown · skill
Job to be doneTo verify the validity of mathematical conjectures and generate plausible proof pathways without requiring a complete proof upfront.
AutonomyL2 · tool-calling(evidence: "small, composable mathematical operations…")
Who it is forMathematicians, math students, and math enthusiasts engaged in research or advanced study.
Prerequisitesopen source · self-hostable
Integrationsmcp
PricingFree + $20/mo for advanced features
Traction · why it is risingGaining traction among academic users and math communities for its ability to assist in proof exploration and collaborative problem solving.
Why it matters
It demonstrates a promising application of AI in formal mathematical reasoning, offering a new model for human-AI collaboration in rigorous academic work.
Signal source: Show HN
Visit official site →
On mobile tap Share for WeChat / RED (Xiaohongshu) / X; on desktop use Copy text and paste into the app.