Public research on this topic.
1 project
OpenAI’s n ≥ 4 polynomial construction, with exact arithmetic, pinned Lean sources and the recorded comparator run.