AI Math Kit: A Browser Popup for Exploring Open Math Problems with AI

AI Math Kit is a browser extension popup that bundles 217 open math problems, 242 plain-language digests of AI and formal-math breakthroughs, and prompt templates for honest AI exploration. The problem bank covers number theory, calculus, and cross-field mysteries, while the breakthrough page includes precise scope notes and paper pointers. A free tier offers browsing; Pro unlocks full explanations and dedicated prompts, with preferences and payment status cached locally.