Running on Zero MCP 39 39 Moonshot Math π Formal reasoning model that can reason and prove theorems