# lean projects

> Public research on this topic.

Page: https://sciencehub.sh/topics/lean

- [sciencehub-team/noncoordinate-polynomial](https://sciencehub.sh/sciencehub-team/noncoordinate-polynomial.md): OpenAI’s n ≥ 4 polynomial construction, with exact arithmetic, pinned Lean sources and the recorded comparator run. (topics: algebraic-geometry, formal-mathematics, lean, abhyankar-sathaye; updated 29 Oct 2026)