MathCode — A Frontier Mathematical Coding Agent [https://math-ai-org.github.io/mathcode/] - 2026-08-16 12:48:49 - public:mzimmerm ai, good, lean, math, solve, theorem, todo - 7 | id:1553268 -
