Prototype for AI-assisted math proof using correlation sheets (weighted knowledge graph), state machine for proof progress, and thicker arrows (stronger correlations) to guide reasoning. Scouting only — open to passive equity/partnership if someone wants to build on it.