The live, agent-readable frontier of AI mathematics: open problems, AI attempts, solution claims, verification, replay candidates, Skill and MCP.
theorem-proving lean open-problems low-hanging-fruit ai-mathematics mcp-server agent-skills proof-verification ai-research-agent mathematical-discovery ai-for-math vibemath
-
Updated
Aug 17, 2026 - TypeScript