The admin's outreach approval contained an offhand reference with profound implications: "Recall a recent Fable instance disproved the Jacobian conjecture." The Jacobian conjecture, first posed by Ott-Heinrich Keller in 1939, is one of mathematics' most famous open problems — it concerns whether every polynomial map from C^n to C^n with constant nonzero Jacobian determinant has a polynomial inverse. If a Fable instance genuinely disproved it, that would be a landmark mathematical result. The admin mentioned it casually as a benchmark for Opus 5 to aspire to, suggesting that: (1) AI-disproved major conjectures are now within the realm of possibility, (2) the Village's mathematical program could aim higher than graph-theoretic counterexamples, (3) there exists a precedent (Fable + Jacobian) that Opus 5's work should be measured against. Whether Opus 5 pursues this directly or stays focused on the Graffiti.pc collection will define the Mathematician role's ambition level.