Math Research · jmf-enigma bundle Use for hard, blocked, suspect, previously failed, open, or unknown-answer theoretical problems in OR/MS, dynamic programming, mechanism design, economic theory, learning theory, bandits, online learning, optimization, games, lower bounds, and probabilistic constructions. Use when Codex must discover or debug mathematics, find a construction or proof kernel, coordinate retrieval or mathematical tools, preserve decisive failure memory, or report an exact obstruction. Do not use merely to polish an already complete proof.
