星期二, 29 9 月, 2026

级别变动日志

已发布命题的级别与推理严格度的每一次变动,连同理由,全部公开。

时间(UTC)命题变动理由
2026-09-29 07:13:21SGC-0082— → 须拒斥 / rejection—
2026-09-29 07:13:21SGC-0081— → 须拒斥 / rejection—
2026-09-29 07:13:21SGC-0080— → 须拒斥 / rejection—
2026-09-29 07:13:21SGC-0071— → 工程级 / engineering—
2026-09-29 07:13:21SGC-0070— → 工程级 / engineering—
2026-09-29 07:13:21SGC-0061— → 纲领级 / programmatic—
2026-09-29 07:13:21SGC-0060— → 纲领级 / programmatic—
2026-09-29 07:13:21SGC-0051— → 词典级 / lexical—
2026-09-29 07:13:21SGC-0050— → 词典级 / lexical—
2026-09-29 07:13:21SGC-0041— → 阐释级 / interpretive—
2026-09-29 07:13:21SGC-0040— → 阐释级 / interpretive—
2026-09-29 07:13:21SGC-0030— → 实测级 / measurement—
2026-09-29 07:13:21SGC-0023— → 定理级 / proof—
2026-09-29 07:13:21SGC-0022— → 定理级 / proof—
2026-09-29 07:13:21SGC-0021— → 定理级 / proof—
2026-09-29 07:13:21SGC-0020— → 定理级 / proof—
2026-09-29 07:13:21SGC-0019— → 定理级 / proof—
2026-09-29 07:13:21SGC-0018— → 定理级 / proof—
2026-09-29 07:13:21SGC-0017— → 定理级 / proof—
2026-09-29 07:13:21SGC-0016— → 定理级 / proof—
2026-09-29 07:13:21SGC-0015— → 定理级 / proof—
2026-09-29 07:13:21SGC-0014— → 定理级 / proof—
2026-09-29 07:13:21SGC-0013— → 定理级 / proof—
2026-09-29 07:13:21SGC-0012— → 定理级 / proof—
2026-09-29 07:13:21SGC-0011— → 定理级 / proof—
2026-09-29 07:13:20SGC-0010— → 定理级 / proof—
2026-09-29 07:13:20SGC-0004— → 结构推论 / structural—
2026-09-29 07:13:20SGC-0003— → 结构推论 / structural—
2026-09-29 07:13:20SGC-0002— → 结构推论 / structural—
2026-09-29 07:13:20SGC-0001— → 基设级 / foundational—