全部内容 · 夜行

无需登录。完整内容与个人兴趣标记的公开阅读入口，可直接交给 GPT 阅读。

公开快照同步：2026-10-20T01:58:53.186Z · 内容整理：2026-10-20T09:58:44+08:00

OpenAI论文 / 数理逻辑与基础 · 2026-09-25

纯类型系统中的弱规范性与强规范性

Weak and strong normalization in pure type systems

用户标记：未标记

固定编号：92b00dd495698221

原文来源

OpenAI论文 / 几何与拓扑 · 2026-09-25

单侧负截面曲率与全纯Liouville性质

One-sided negative sectional curvature and the holomorphic Liouville property

用户标记：未标记

固定编号：907f4879d35123c3

原文来源

OpenAI论文 / 几何与拓扑 · 2026-09-25

非塌缩RCD空间正则点处的双Lipschitz坐标

Bi-Lipschitz Coordinates at Regular Points of Noncollapsed RCD Spaces

用户标记：未标记

固定编号：902bffc6a21adcc2

原文来源

OpenAI论文 / 概率与统计 · 2026-09-25

正交不变Ising自旋玻璃的全温度压强

All-temperature pressure for orthogonally invariant Ising spin glasses

用户标记：未标记

固定编号：8edef7b33fb8ccd8

原文来源

Codex / 功能更新 · 2026-09-25

Codex CLI 0.158.0-alpha.13 测试版发布

Codex CLI 测试版版本发布；官方记录未列出详细的功能变更。

用户标记：未标记

固定编号：8b4ef8f55c3211fa

原文来源

Codex / 功能更新 · 2026-09-25

Codex CLI 0.158.0-alpha.9 测试版发布

Codex CLI 测试版版本发布；官方记录未列出详细的功能变更。

用户标记：未标记

固定编号：83eddc066ea8f988

原文来源

OpenAI论文 / 数论与算术几何 · 2026-09-25

曲线特征簇上的整点

Integral points on character varieties of curves

用户标记：未标记

固定编号：82552b38fca496bb

原文来源

OpenAI论文 / 数学物理与量子信息 · 2026-09-25

QAOA在热力学优先极限下达到SK基态能量

QAOA attains the SK ground-state energy in the thermodynamic-first limit

用户标记：未标记

固定编号：80062c5a5fc72d19

原文来源

OpenAI论文 / 代数与表示论 · 2026-09-25

第六对称幂的Foulkes猜想

Foulkes' conjecture for the sixth symmetric power

用户标记：未标记

固定编号：7f810cbb0c72567e

原文来源

OpenAI论文 / 组合数学与图论 · 2026-09-25

随机三角形移除中的精确终端剩余边数

The sharp terminal leave in random triangle removal

用户标记：未标记

固定编号：75a9f749a755273d

原文来源