New results in computable topology reduce computable structures to two theorems
jessi_cata · x · 2026-11-14
jessicata flags new work in computable topology: researchers reportedly reduced computable mathematical and logical structures to two theorems (A and B). The cited post is in Spanish and links the paper; limited detail but a substantive theoretical CS result.
More from Research
- Open model Inkling 2 Small repairs broken networks from raw weights in ~40 tokens — SonglinYang4 · 2026-11-14
- Encoder-free VLMs gain momentum as new study tackles scaling and architecture questions — liuziwei7 · 2026-11-14
- Harvard-MIT UGG model unifies video generation, depth and camera pose in one diffusion model — burny_tech · 2026-11-14
- Hugging Face Introduces Decision Models That Output Probability Distributions Without Generating Text — ariG23498 · 2026-11-14
- BAAI's encoder-free VLM family EVE: NeurIPS spotlight, ICCV highlight, open-sourced — liuziwei7 · 2026-11-14
- Recursive Model Collapse: How It Learned to Stop Worrying and Become the Assistant — sebkrier · 2026-11-14