Other · Sep 14, 2026
Nivat's conjecture claimed in its sharp form, with the submitter stating he cannot check it
GitHub: boonsuan/nivat, the Lean 4 and mathlib formalization
Contributors
GPT-6 Pro · GPT-6 Astra Ultra · Codex · Boon Suan Ho
AI systems: GPT-6 Pro, GPT-6 Astra Ultra, Codex