HN Showcase
Back to browse
A knowledge graph of 15,941 math states – proof as path-finding

A knowledge graph of 15,941 math states – proof as path-finding

by ansuman441·Jun 17, 2026·3 points·0 comments
Visit ProjectView on HN

AI Analysis

●MidRabbit HoleBig Brain

Visualizes math proofs as graph paths, though the automated discovery engine is still future work.

Strengths
  • •Encodes 15,941 states and 1,223 techniques into a navigable 3D graph structure.
  • •Runs entirely in the browser with no installation required.
  • •Prunes impossible branches using known impossibility theorems.
Weaknesses
  • •Core discovery engine automation is admitted to be the next frontier of the project.
  • •Claim that math is just finite search over known techniques is philosophically contentious.
Category
Education
Target Audience

Mathematicians, Data Visualization Enthusiasts

Similar To

Wolfram Alpha · Graph Visualization Tools

Similar Projects

Education●Mid

AI learning paths with YouTube playlists

Type a topic and it returns a chapterized study plan, a clickable Cytoscape graph, and a one-click export that builds a YouTube playlist from the suggested tutorials. The streaming OpenAI responses + interactive graph give the experience polish, but the real challenge is content quality — relevance, date, and sequencing of videos will determine whether this is a handy study tool or just a tidy aggregator.

Crowd PleaserWizardry
strewberry
214mo ago
Education●●Solid

I built a dependency graph for the tree of human science

Maps entire human science as derivation chains, but execution incomplete and dataset coverage unproven.

Rabbit HoleBig BrainZero to One
sleepybear04
103mo ago