可计算拓扑学新结果:计算数学结构被压缩为定理 A 与 B 两个
jessi_cata · x · 2026-11-14
jessicata 转发并评论可计算拓扑学的最新进展:据称研究者将可计算数学与逻辑结构简化归约为两个定理(定理 A 和定理 B)。原文为西语推文并附论文链接,信息量有限但属于理论计算机科学方向的实质性新结果。
「研究」频道最新
- BAAI 开源无编码器 VLM 系列 EVE,登 NeurIPS 与 ICCV 获 spotlight/highlight — liuziwei7 · 2026-11-14
- 《递归模型坍缩》：模型如何在自我投喂中变成乖顺助手 — sebkrier · 2026-11-14
- AI 挖掘已故数学家 Cohen 笔记本，揭示超前时代的发现 — irrelevantusername24 · 2026-11-14
- SGLang 峰会分享：NVFP4 4-bit 低精度 RL 千卡实战经验开源 — ericzelikman · 2026-11-14
- 实测决策模型：训练仅换来速度与成本，推理能力并未恢复 — someone_12443 · 2026-11-14
- 日本开发者在 GitHub 开写自动驾驶开源教科书，逐章搭出可运行仿真 — 4310sy · 2026-11-14