@misc{indiciae153699e92c5e, title = {From Gödel incompleteness to the consistency of circuit lower bounds}, author = {Albert Atserias and Moritz Müller}, year = {2026}, url = {https://arxiv.org/abs/2604.25251}, note = {Source identifier: 2604.25251} }