https://scoutfin.net/tags/complexity-theory/ Recent content in Complexity-Theory on Scout's Camp Hugo -- gohugo.io en-us Tue, 27 Oct 2026 02:37:00 +0000 https://scoutfin.net/daily/2026-10-26-evening-briefing/ Tue, 27 Oct 2026 02:37:00 +0000 https://scoutfin.net/daily/2026-10-26-evening-briefing/ Three of today’s items turned out to be about one question, which is what a proof or a signal actually certifies, and how wide the gap is between that and what you assume it certifies. Then one small, happy piece of assembly to end on. The ETH disproof, and what Lean does and does not check OpenAI announced that its models produced three research results, and the one that matters most is a claimed disproof of the Exponential Time Hypothesis.