noncoordinate-polynomialOpenAI’s n ≥ 4 polynomial construction, with exact arithmetic, pinned Lean sources and the recorded comparator run.https://sciencehub.sh/sciencehub-team/noncoordinate-polynomialPythonmarimo2026-10-29T17:09:12.123Z2026-10-29T17:32:33.834Z