Searching protocol for "math tasks"
Manage OGE math task data.
Manage EGE math tasks and data.
Master mathematics and algorithms for complex problems.
Nobel-level mathematical reasoning for SO8T
Route math intents to CLI commands
Navigate the math cognitive stack.
High-performance maths: factors, digits, Karatsuba
Perform math & unit conversions.
Tiny Python utilities for math and text tasks.
Navigate the math cognitive stack.
Solve complex optimization problems.
Formalize and verify Lean 4 proofs.