Claude-assisted research closes gap in Gödel's attempted AC independence proof
aran_nayebi · x · 2026-11-14
Researcher arannayebi shares a historical nugget: Gödel's attempted proof of the independence of the Axiom of Choice from type theory hinged on a missing definition. According to Jan, Gödel technically knew it from Mostowski's 1939 work (which he studied and copied in 1940) but never connected it to this proof in his notes. It was Jan's Claude-assisted construction that finally made that connection.
More from Research
- Xperience 2 turns real-world captures into interactive robot simulation environments — liuziwei7 · 2026-11-14
- Researcher Lets Claude Review His ICLR Paper's Reviews, and It Roasts the Community's Favorite Assumption — rao2z · 2026-11-14
- Flash ALOHA: robots learn fast, human-speed bimanual skills from 50 demos — erwincoumans · 2026-11-14
- MetaPI turns agent benchmarks into prompt-injection tests; best closed models still fail >20% of attacks — dair_ai · 2026-11-14
- rasbt maps Inkling 2 Small's 594B architecture built on attention residuals — rasbt · 2026-11-14
- Researcher builds a harness-specific LLM backdoor in hours on a local GPU, releases PoC — pgaleone · 2026-11-14