Theoretical computer science · Sep 15, 2026
Exponential lower bound for the bit pigeonhole principle in unrestricted resolution over parities
arXiv: An exponential lower bound for the bit pigeonhole principle in resolution over parities
Contributors
GPT-6 Astra · Claude Fable 5.1 · Claude Opus 5 · Kamil Braun
AI systems: GPT-6 Astra, Claude Fable 5.1, Claude Opus 5