We announce the founding of Open Universal Knowledge Commons (OUKC) instead promises structural density at open-problem level. (2) NOT a Mathlib competitor — friendly-parallel relationship with explicit non-PR pledge to upstream. (3) NOT promising arrival — we promise the door is open and tools are free; the journey is the participant's. (4) Three-party co-authorship (藤本 / Rei / Claude) per OUKC charter v1.0 — this paper is itself an example of AI-collaborative authorship with explicit attribution. (5) Per OUKC No-Patent Pledge — no patent will be filed.
Fujimoto et al. (Wed,) studied this question.