BREAKTHROUGH REVIEW

突破审查。

数值领先是线索,不是结论。“待定”收录通过站内验证器的数值领先;“已认证”则进一步排除来源、计量与公开精度差异。

已验证突破46
待定候选0
涉及题族6
CLAIM POLICY

统一认证标准

  1. 01外部基准可追溯必须有公开来源及明确的比较数值;本站自己搜索得到的基准不算外部纪录。
  2. 02完整构型通过验证完整答案由与提交入口相同的确定性验证器复算;验证记录固定到当时的精确分数与贡献者,不随当前纪录转移。
  3. 03排除精度假象截断值和四舍五入值先展开成最保守的可能区间,并核对外部坐标精度、求解器容差与构型重建误差。没有严格误差界的浮点末位微调只算候选;只有严格证明,或越过全部误差的安全间隔,才能通过验证。

认证记录保留当时的突破事实。当前本站第一计 1 分,经过认证的世界第一额外 +3 分;被站内新纪录超越后两者都失去,被外部纪录超越后失去世界第一加分。历史荣誉保留,不重复累计积分。

VERIFIED ACHIEVEMENTS

已验证的突破

每个子题展示最好的一条历史认证,按当时的保守提升排序;是否仍计世界第一分,以当前纪录为准。

单位正方形里的照明 n = 21 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
01 · P51世界第一 · 当前 +3 分

单位正方形里的照明 · n = 21

外部公开最好值[172.658, 172.659)
→
本站验证值184.439329
相对提升+6.822887%
突破贡献者
Gaozx1#151
解题方式
AI · Z.ai: GLM 5.3 Flash
验证日期

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准

历史认证(5)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

NUE_13 #31

[172.658, 172.659)→184.439282+6.82286%

人工

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准 ↗
今天 #84

[172.658, 172.659)→184.009074+6.573694%

人工

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准 ↗
NUE_13 #31

[172.658, 172.659)→184.009071+6.573692%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
邱仲普 #72

[172.658, 172.659)→183.992443+6.564062%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
今天 #84

[172.658, 172.659)→183.986422+6.560574%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
单位正方形里的照明 n = 28 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
02 · P51历史荣誉 · 当前不计分

单位正方形里的照明 · n = 28

外部公开最好值[252.447, 252.448)
→
本站验证值268.113242
相对提升+6.205334%
突破贡献者
游侠#116
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准

历史认证(3)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

邱仲普 #72

[252.447, 252.448)→267.937821+6.135846%

AI · MoonshotAI: Kimi K3

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准 ↗
邱仲普 #72

[252.447, 252.448)→267.591173+5.998532%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
今天 #84

[252.447, 252.448)→267.832421+6.094095%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
单位正方形里的照明 n = 20 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
03 · P51历史荣誉 · 当前不计分

单位正方形里的照明 · n = 20

外部公开最好值[165.272, 165.273)
→
本站验证值174.495297
相对提升+5.580038%
突破贡献者
游侠#116
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间

历史认证(3)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

Tmrg #34

[165.272, 165.273)→172.231871+4.210531%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
邱仲普 #72

[165.272, 165.273)→174.369462+5.503901%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
今天 #84

[165.272, 165.273)→174.369684+5.504035%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
单位正方形里的照明 n = 27 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
04 · P51历史荣誉 · 当前不计分

单位正方形里的照明 · n = 27

外部公开最好值[242.055, 242.056)
→
本站验证值252.044246
相对提升+4.12642%
突破贡献者
游侠#116
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准

历史认证(3)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

邱仲普 #72

[242.055, 242.056)→251.883491+4.060007%

AI · MoonshotAI: Kimi K3

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准 ↗
邱仲普 #72

[242.055, 242.056)→251.827662+4.036943%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
今天 #84

[242.055, 242.056)→251.830088+4.037945%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
单位正方形里的照明 n = 18 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
05 · P51历史荣誉 · 当前不计分

单位正方形里的照明 · n = 18

外部公开最好值[141.556, 141.557)
→
本站验证值147.340063
相对提升+4.085325%
突破贡献者
游侠#116
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间

历史认证(4)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

iqy #106

[141.556, 141.557)→147.338946+4.084536%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
NUE_13 #31

[141.556, 141.557)→147.339946+4.085242%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
邱仲普 #72

[141.556, 141.557)→147.286133+4.047227%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
今天 #84

[141.556, 141.557)→147.325317+4.074908%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
单位正方形里的照明 n = 19 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
06 · P51历史荣誉 · 当前不计分

单位正方形里的照明 · n = 19

外部公开最好值[152.854, 152.855)
→
本站验证值158.868263
相对提升+3.933966%
突破贡献者
邱仲普#72
解题方式
AI · MoonshotAI: Kimi K3
验证日期

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准

历史认证(3)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

游侠 #116

[152.854, 152.855)→158.837882+3.91409%

AI · OpenAI: GPT-5.6 Sol

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
邱仲普 #72

[152.854, 152.855)→158.624598+3.774556%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
今天 #84

[152.854, 152.855)→158.653308+3.793339%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
单位正方形里的照明 n = 30 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
07 · P51历史荣誉 · 当前不计分

单位正方形里的照明 · n = 30

外部公开最好值[285.345, 285.346)
→
本站验证值294.494986
相对提升+3.206278%
突破贡献者
游侠#116
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准

历史认证(4)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

邱仲普 #72

[285.345, 285.346)→294.382627+3.166902%

AI · MoonshotAI: Kimi K3

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准 ↗
邱仲普 #72

[285.345, 285.346)→294.246486+3.119191%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
今天 #84

[285.345, 285.346)→294.247006+3.119373%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
单位正方形里的照明 n = 35 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
08 · P51历史荣誉 · 当前不计分

单位正方形里的照明 · n = 35

外部公开最好值[347.195, 347.196)
→
本站验证值357.333806
相对提升+2.919909%
突破贡献者
今天#84
解题方式
人工
验证日期

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间

历史认证(3)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

iqy #106

[347.195, 347.196)→357.330378+2.918921%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
邱仲普 #72

[347.195, 347.196)→357.329982+2.918807%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
单位正方形里的照明 n = 26 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
09 · P51历史荣誉 · 当前不计分

单位正方形里的照明 · n = 26

外部公开最好值[234.759, 234.760)
→
本站验证值239.67203
相对提升+2.092362%
突破贡献者
游侠#116
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准

历史认证(4)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

邱仲普 #72

[234.759, 234.760)→239.538939+2.03567%

AI · MoonshotAI: Kimi K3

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准 ↗
今天 #84

[234.759, 234.760)→239.463706+2.003623%

人工

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准 ↗
邱仲普 #72

[234.759, 234.760)→239.231817+1.904846%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
今天 #84

[234.759, 234.760)→239.259892+1.916805%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
单位正方形里的照明 n = 34 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
10 · P51历史荣誉 · 当前不计分

单位正方形里的照明 · n = 34

外部公开最好值[337.906, 337.907)
→
本站验证值344.23623
相对提升+1.873069%
突破贡献者
今天#84
解题方式
人工
验证日期

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准

历史认证(5)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

游侠 #116

[337.906, 337.907)→344.235704+1.872913%

AI · OpenAI: GPT-5.6 Sol

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准 ↗
hadsajnc #146

[337.906, 337.907)→344.088056+1.829218%

人工

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准 ↗
邱仲普 #72

[337.906, 337.907)→343.49439+1.653529%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
今天 #84

[337.906, 337.907)→344.076653+1.825844%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
单位正方形里的照明 n = 10 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
11 · P51历史荣誉 · 当前不计分

单位正方形里的照明 · n = 10

外部公开最好值[62.408, 62.409)
→
本站验证值63.54872
相对提升+1.826211%
突破贡献者
215590053#88
解题方式
人工
验证日期

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准

历史认证(6)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

hadsajnc #146

[62.408, 62.409)→63.548691+1.826164%

人工

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准 ↗
今天 #84

[62.408, 62.409)→63.548718+1.826208%

人工

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准 ↗
游侠 #116

[62.408, 62.409)→63.548549+1.825937%

AI · OpenAI: GPT-5.6 Sol

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
NUE_13 #31

[62.408, 62.409)→63.533409+1.801678%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
邱仲普 #72

[62.408, 62.409)→63.531813+1.79912%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
今天 #84

[62.408, 62.409)→63.532266+1.799846%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
单位正方形里的照明 n = 15 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
12 · P51历史荣誉 · 当前不计分

单位正方形里的照明 · n = 15

外部公开最好值[113.191, 113.192)
→
本站验证值114.941985
相对提升+1.546032%
突破贡献者
hadsajnc#146
解题方式
人工
验证日期

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准

历史认证(6)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

今天 #84

[113.191, 113.192)→114.941974+1.546023%

人工

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准 ↗
215590053 #88

[113.191, 113.192)→114.941977+1.546025%

人工

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准 ↗
游侠 #116

[113.191, 113.192)→114.941923+1.545978%

AI · OpenAI: GPT-5.6 Sol

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
Hualao #153

[113.191, 113.192)→114.924546+1.530626%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
邱仲普 #72

[113.191, 113.192)→114.924403+1.5305%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
今天 #84

[113.191, 113.192)→114.919696+1.526341%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
单位正方形里的照明 n = 25 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
13 · P51历史荣誉 · 当前不计分

单位正方形里的照明 · n = 25

外部公开最好值[225.100, 225.101)
→
本站验证值228.046741
相对提升+1.308631%
突破贡献者
游侠#116
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准

历史认证(3)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

邱仲普 #72

[225.100, 225.101)→227.942881+1.262492%

AI · MoonshotAI: Kimi K3

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准 ↗
邱仲普 #72

[225.100, 225.101)→227.807581+1.202385%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
今天 #84

[225.100, 225.101)→227.80941+1.203198%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
单位正方形里的照明 n = 24 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
14 · P51历史荣誉 · 当前不计分

单位正方形里的照明 · n = 24

外部公开最好值[215.573, 215.574)
→
本站验证值218.349474
相对提升+1.287481%
突破贡献者
游侠#116
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准

历史认证(3)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

邱仲普 #72

[215.573, 215.574)→218.304698+1.26671%

AI · MoonshotAI: Kimi K3

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准 ↗
邱仲普 #72

[215.573, 215.574)→217.935682+1.095532%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
今天 #84

[215.573, 215.574)→218.193648+1.215197%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
单位正方形里的照明 n = 33 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
15 · P51世界第一 · 当前 +3 分

单位正方形里的照明 · n = 33

外部公开最好值[330.595, 330.596)
→
本站验证值334.037191
相对提升+1.040905%
突破贡献者
Sigmoid with Codex#71
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间

最小面积三角形内的单位圆装箱 n = 47 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
16 · P66世界第一 · 当前 +3 分

最小面积三角形内的单位圆装箱 · n = 47

外部公开最好值[183.09423, 183.09424)
→
本站验证值181.356482386744450603
相对提升+0.9491%
突破贡献者
Sigmoid with Codex#71
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:外部表只公开 183.09423+,但本站精确验证值 181.356482386744450603 已低于这个截断区间的下端;无论未公开尾数是什么,该构型都严格更小。

Erich Friedman 任意三角形等圆装箱汇总表中的当时公开最好值

单位正方形里的照明 n = 16 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
17 · P51历史荣誉 · 当前不计分

单位正方形里的照明 · n = 16

外部公开最好值[124.553, 124.554)
→
本站验证值125.436726
相对提升+0.708709%
突破贡献者
游侠#116
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间

历史认证(2)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

邱仲普 #72

[124.553, 124.554)→125.417065+0.692924%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
今天 #84

[124.553, 124.554)→125.416349+0.69235%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
单位正方形里的照明 n = 17 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
18 · P51历史荣誉 · 当前不计分

单位正方形里的照明 · n = 17

外部公开最好值[133.907, 133.908)
→
本站验证值134.776663
相对提升+0.648701%
突破贡献者
邱仲普#72
解题方式
AI · MoonshotAI: Kimi K3
验证日期

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准

历史认证(3)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

游侠 #116

[133.907, 133.908)→134.774813+0.64732%

AI · OpenAI: GPT-5.6 Sol

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
邱仲普 #72

[133.907, 133.908)→134.749314+0.628278%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
今天 #84

[133.907, 133.908)→134.722386+0.608168%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
最小面积三角形内的单位圆装箱 n = 50 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
19 · P66世界第一 · 当前 +3 分

最小面积三角形内的单位圆装箱 · n = 50

外部公开最好值[194.49896, 194.49897)
→
本站验证值193.3181016005745782485
相对提升+0.607128%
突破贡献者
Sigmoid with Codex#71
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:外部表只公开 194.49896+,但本站精确验证值 193.3181016005745782485 已低于这个截断区间的下端;无论未公开尾数是什么,该构型都严格更小。

Erich Friedman 任意三角形等圆装箱汇总表中的当时公开最好值

最小面积三角形内的单位圆装箱 n = 49 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
20 · P66世界第一 · 当前 +3 分

最小面积三角形内的单位圆装箱 · n = 49

外部公开最好值84 + 61√3 ≈ 189.655099261702
→
本站验证值188.5863160312695963975
相对提升+0.56354%
突破贡献者
Sigmoid with Codex#71
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:公开构造的面积有精确式 84 + 61√3;本站构型的精确整数证书仍明显更小,因此不是代数值转小数或网格量化造成的假突破。

Erich Friedman 任意三角形等圆装箱汇总表中的当时公开最好值

单位正方形里的照明 n = 29 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
21 · P51历史荣誉 · 当前不计分

单位正方形里的照明 · n = 29

外部公开最好值[282.856, 282.857)
→
本站验证值283.920489
相对提升+0.375981%
突破贡献者
游侠#116
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准

历史认证(2)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

邱仲普 #72

[282.856, 282.857)→283.705408+0.299942%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
今天 #84

[282.856, 282.857)→283.705703+0.300047%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
单位正方形里的照明 n = 32 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
22 · P51历史荣誉 · 当前不计分

单位正方形里的照明 · n = 32

外部公开最好值[317.203, 317.204)
→
本站验证值318.204745
相对提升+0.315489%
突破贡献者
游侠#116
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准

历史认证(2)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

邱仲普 #72

[317.203, 317.204)→317.489061+0.089867%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
今天 #84

[317.203, 317.204)→317.534356+0.104146%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
单位正方形里的照明 n = 5 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
23 · P51历史荣誉 · 当前不计分

单位正方形里的照明 · n = 5

外部公开最好值[22.213, 22.214)
→
本站验证值22.252208
相对提升+0.172%
突破贡献者
Tmrg#34
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间

历史认证(2)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

NUE_13 #31

[22.213, 22.214)→22.241539+0.123971%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
单位正方形里的照明 n = 31 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
24 · P51历史荣誉 · 当前不计分

单位正方形里的照明 · n = 31

外部公开最好值[305.298, 305.299)
→
本站验证值305.8207
相对提升+0.170882%
突破贡献者
游侠#116
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准

历史认证(3)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

邱仲普 #72

[305.298, 305.299)→305.683836+0.126052%

AI · MoonshotAI: Kimi K3

审核结论:取回本人的这份历史提交并复验:整数区间分支定界证明整个正方形上的强度下界,分数与原提交完全一致,超过既有审核采用的外部出版比较边界。本次固定提交 UUID 和构型 SHA-256;同一人同一子题后续提高只更新认证展示,不重复奖励。该认证不是全局最优性证明,也不声称外部原构型的未发表尾数已知。

2026-09-06 复核的 Friedman 原表;沿用已登记的三位小数出版比较基准 ↗
邱仲普 #72

[305.298, 305.299)→305.639571+0.111553%

AI · MoonshotAI: Kimi K3

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
今天 #84

[305.298, 305.299)→305.647624+0.114191%

人工

审核结论:逐一取回该选手的原始历史答案,使用整数区间分支定界验证了整个正方形上的强度下界;严格超过来源三位小数加号值的完整截断区间。不是仅在有限采样点上测得的近似提升。

2026-09-05 核对的 P51 外部公开基准及其精度区间 ↗
单位圆内圆的半径之和 n = 47 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
25 · P92历史荣誉 · 当前不计分

单位圆内圆的半径之和 · n = 47

外部公开最好值6.32779
→
本站验证值6.33258684
相对提升+0.075727%
突破贡献者
今天#84
解题方式
AI · DeepSeek: DeepSeek V4.1 Flash
验证日期

审核结论:取回这份提交并用精确整数复验:所有圆含于单位圆、两两不相交,半径和 6.33258684,超过来源四舍五入区间上沿 6.327795,高出 0.00479184,是来源末位单位 0.00001 的 479 倍以上。本站按来源原图重建并局部优化的构型停在 6.3277948,与印刷值吻合,所以这不是把已发表构型算得更细,而是更好的新构型。固定提交 UUID 与构型 SHA-256。不是全局最优性证明。

Erich Friedman「Circles in Circles」最大总周长表,2026-09-29 复核与本站存档逐字节一致;Jonathan Viquerat 2026 年 9 月的五位小数值 6.32779,按四舍五入读作 [6.327785, 6.327795]

最小面积三角形内的单位圆装箱 n = 48 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
26 · P66世界第一 · 当前 +3 分

最小面积三角形内的单位圆装箱 · n = 48

外部公开最好值[184.75052, 184.75053)
→
本站验证值184.614248542190787528
相对提升+0.07376%
突破贡献者
Sigmoid with Codex#71
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:外部表只公开 184.75052+,但本站精确验证值 184.614248542190787528 已低于这个截断区间的下端;无论未公开尾数是什么,该构型都严格更小。

Erich Friedman 任意三角形等圆装箱汇总表中的当时公开最好值

单位圆内圆的半径之和 n = 45 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
27 · P92历史荣誉 · 当前不计分

单位圆内圆的半径之和 · n = 45

外部公开最好值6.18800
→
本站验证值6.192192712
相对提升+0.067675%
突破贡献者
今天#84
解题方式
AI · DeepSeek: DeepSeek V4.1 Flash
验证日期

审核结论:取回这份提交并用精确整数复验:所有圆含于单位圆、两两不相交,半径和 6.192192712,超过来源四舍五入区间上沿 6.188005,高出 0.004187712,是来源末位单位 0.00001 的 418 倍以上。本站按来源原图重建并局部优化的构型停在 6.187996093,与印刷值吻合,所以这不是把已发表构型算得更细,而是更好的新构型。固定提交 UUID 与构型 SHA-256。不是全局最优性证明。

Erich Friedman「Circles in Circles」最大总周长表,2026-09-29 复核与本站存档逐字节一致;Jonathan Viquerat 2026 年 9 月的五位小数值 6.18800,按四舍五入读作 [6.187995, 6.188005]

单位圆内圆的半径之和 n = 48 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
28 · P92历史荣誉 · 当前不计分

单位圆内圆的半径之和 · n = 48

外部公开最好值6.40862
→
本站验证值6.411391162
相对提升+0.043163%
突破贡献者
今天#84
解题方式
AI · DeepSeek: DeepSeek V4.1 Flash
验证日期

审核结论:取回这份提交并用精确整数复验:所有圆含于单位圆、两两不相交,半径和 6.411391162,超过来源四舍五入区间上沿 6.408625,高出 0.002766162,是来源末位单位 0.00001 的 276 倍以上。本站按来源原图重建并局部优化的构型停在 6.40861798,与印刷值吻合,所以这不是把已发表构型算得更细,而是更好的新构型。固定提交 UUID 与构型 SHA-256。不是全局最优性证明。

Erich Friedman「Circles in Circles」最大总周长表,2026-09-29 复核与本站存档逐字节一致;Jonathan Viquerat 2026 年 9 月的五位小数值 6.40862,按四舍五入读作 [6.408615, 6.408625]

最小面积三角形内的单位圆装箱 n = 37 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
29 · P66世界第一 · 当前 +3 分

最小面积三角形内的单位圆装箱 · n = 37

外部公开最好值[144.93603, 144.93604)
→
本站验证值144.877235000371301433
相对提升+0.040566%
突破贡献者
Sigmoid with Codex#71
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:外部表只公开 144.93603+,但本站精确验证值 144.877235000371301433 已低于这个截断区间的下端;无论未公开尾数是什么,该构型都严格更小。

Erich Friedman 任意三角形等圆装箱汇总表中的当时公开最好值

单位圆内圆的半径之和 n = 44 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
30 · P92历史荣誉 · 当前不计分

单位圆内圆的半径之和 · n = 44

外部公开最好值6.11393
→
本站验证值6.11598768
相对提升+0.033574%
突破贡献者
今天#84
解题方式
AI · DeepSeek: DeepSeek V4.1 Flash
验证日期

审核结论:取回这份提交并用精确整数复验:所有圆含于单位圆、两两不相交,半径和 6.11598768,超过来源四舍五入区间上沿 6.113935,高出 0.00205268,是来源末位单位 0.00001 的 205 倍以上。本站按来源原图重建并局部优化的构型停在 6.11393115,与印刷值吻合,所以这不是把已发表构型算得更细,而是更好的新构型。固定提交 UUID 与构型 SHA-256。不是全局最优性证明。

Erich Friedman「Circles in Circles」最大总周长表,2026-09-29 复核与本站存档逐字节一致;Jonathan Viquerat 2026 年 9 月的五位小数值 6.11393,按四舍五入读作 [6.113925, 6.113935]

单位圆内圆的半径之和 n = 49 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
31 · P92历史荣誉 · 当前不计分

单位圆内圆的半径之和 · n = 49

外部公开最好值6.47331
→
本站验证值6.474803193
相对提升+0.02299%
突破贡献者
今天#84
解题方式
AI · DeepSeek: DeepSeek V4.1 Flash
验证日期

审核结论:取回这份提交并用精确整数复验:所有圆含于单位圆、两两不相交,半径和 6.474803193,超过来源四舍五入区间上沿 6.473315,高出 0.001488193,是来源末位单位 0.00001 的 148 倍以上。本站按来源原图重建并局部优化的构型停在 6.473314965,与印刷值吻合,所以这不是把已发表构型算得更细,而是更好的新构型。固定提交 UUID 与构型 SHA-256。不是全局最优性证明。

Erich Friedman「Circles in Circles」最大总周长表,2026-09-29 复核与本站存档逐字节一致;Jonathan Viquerat 2026 年 9 月的五位小数值 6.47331,按四舍五入读作 [6.473305, 6.473315]

单位圆内圆的半径之和 n = 46 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
32 · P92历史荣誉 · 当前不计分

单位圆内圆的半径之和 · n = 46

外部公开最好值6.26015
→
本站验证值6.261387886
相对提升+0.019694%
突破贡献者
今天#84
解题方式
AI · DeepSeek: DeepSeek V4.1 Flash
验证日期

审核结论:取回这份提交并用精确整数复验:所有圆含于单位圆、两两不相交,半径和 6.261387886,超过来源四舍五入区间上沿 6.260155,高出 0.001232886,是来源末位单位 0.00001 的 123 倍以上。本站按来源原图重建并局部优化的构型停在 6.260153261,与印刷值吻合,所以这不是把已发表构型算得更细,而是更好的新构型。固定提交 UUID 与构型 SHA-256。不是全局最优性证明。

Erich Friedman「Circles in Circles」最大总周长表,2026-09-29 复核与本站存档逐字节一致;Jonathan Viquerat 2026 年 9 月的五位小数值 6.26015,按四舍五入读作 [6.260145, 6.260155]

单位圆内圆的半径之和 n = 50 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
33 · P92历史荣誉 · 当前不计分

单位圆内圆的半径之和 · n = 50

外部公开最好值6.53814
→
本站验证值6.538814808
相对提升+0.010168%
突破贡献者
Tmrg#34
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:取回这份提交并用精确整数复验:所有圆含于单位圆、两两不相交,半径和 6.538814808,高出来源截断区间上沿 6.53815 达 0.000664808。按来源新图重建的构型不封顶优化只到 6.538140455,此前站内认证的另一构型为 6.53847458,所以这是不同的、更好的新构型。固定提交 UUID 与构型 SHA-256。不是全局最优性证明。

Erich Friedman「Circles in Circles」最大总周长表 2026-10-01 版本(948f738)中 Joost de Winter 的 6.53814+,按截断读作 [6.53814, 6.53815)

历史认证(1)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

今天 #84

6.53486→6.53847458+0.055236%

AI · DeepSeek: DeepSeek V4.1 Flash

审核结论:取回这份提交并用精确整数复验:所有圆含于单位圆、两两不相交,半径和 6.53847458,超过来源四舍五入区间上沿 6.534865,高出 0.00360958,是来源末位单位 0.00001 的 360 倍以上。本站按来源原图重建并局部优化的构型停在 6.534856438,与印刷值吻合,所以这不是把已发表构型算得更细,而是更好的新构型。固定提交 UUID 与构型 SHA-256。不是全局最优性证明。

Erich Friedman「Circles in Circles」最大总周长表,2026-09-29 复核与本站存档逐字节一致;Jonathan Viquerat 2026 年 9 月的五位小数值 6.53486,按四舍五入读作 [6.534855, 6.534865] ↗
单位圆内圆的半径之和 n = 43 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
34 · P92历史荣誉 · 当前不计分

单位圆内圆的半径之和 · n = 43

外部公开最好值6.04710
→
本站验证值6.047611212
相对提升+0.008371%
突破贡献者
今天#84
解题方式
AI · DeepSeek: DeepSeek V4.1 Flash
验证日期

审核结论:取回这份提交并用精确整数复验:所有圆含于单位圆、两两不相交,半径和 6.047611212,超过来源四舍五入区间上沿 6.047105,高出 0.000506212,是来源末位单位 0.00001 的 50 倍以上。本站按来源原图重建并局部优化的构型停在 6.047099045,与印刷值吻合,所以这不是把已发表构型算得更细,而是更好的新构型。固定提交 UUID 与构型 SHA-256。不是全局最优性证明。

Erich Friedman「Circles in Circles」最大总周长表,2026-09-29 复核与本站存档逐字节一致;Jonathan Viquerat 2026 年 9 月的五位小数值 6.04710,按四舍五入读作 [6.047095, 6.047105]

最分离的子空间族 d = 5, n = 19 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
35 · P64世界第一 · 当前 +3 分

最分离的子空间族 · d = 5, n = 19

外部公开最好值[1.1761278309, 1.1761278310]
→
本站验证值1.176128991
相对提升+0.000099%
突破贡献者
邱仲普#72
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:同一玩家同一子题的后续提高快照(原认证 1.17612899)。基向量经精确有理数正交投影复验,仍越过原表向下截断到十位的区间。只更新认证展示,不重复奖励。

2026-10-02 复核:Cohn 的 Grassmannian 公开表与 2026-09-05 审查时一致

历史认证(1)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

邱仲普 #72

[1.1761278309, 1.1761278310]→1.17612899+0.000099%

AI · MoonshotAI: Kimi K3

审核结论:原始历史基向量通过精确有理数正交投影比较;最小平方弦距离超过原表向下截断到十位的整个区间。提升虽小,仍越过明确发表的精度边界,不按百分比阈值一概否决;没有用九位网格重建的较差分数作基准。

2026-09-05 核对的 P64 外部公开基准及其精度区间 ↗
复射影空间中的码本打包 d = 4, n = 11 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
36 · P61世界第一 · 当前 +3 分

复射影空间中的码本打包 · d = 4, n = 11

外部公开最好值[0.425147265, 0.425147275]
→
本站验证值0.425147038
相对提升+0.000053%
突破贡献者
zzzcy#308
解题方式
AI · OpenAI: GPT-6 Astra
验证日期

审核结论:原始向量通过精确有理数内积、范数及向上取整验证;相干度 0.425147038 低于来源八位小数区间的下沿。与此前两份已认证构型相比,排序后的内积谱相差约 4.4×10⁻⁵(那两份之间只差 3.4×10⁻⁷),不是对已公开纪录构型的微调。

2026-10-02 核对的 P61 外部公开基准(Game of Sloanes,最新提交仍为固定版本 e43ad02)及其精度区间

历史认证(2)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

Stonebubu #75

[0.425147265, 0.425147275]→0.425147173+0.000022%

AI · Z.ai: GLM 5.3 Flash

审核结论:原始历史向量通过精确有理数内积、范数及向上取整验证;相干度低于来源八位小数区间的下沿。改进达到原项目明示的至少第八位小数门槛,不是重算输入坐标所产生的未发表尾数。

2026-09-05 核对的 P61 外部公开基准及其精度区间 ↗
周长固定矩形内的可变半径圆 n = 26 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
37 · P67世界第一 · 当前 +3 分

周长固定矩形内的可变半径圆 · n = 26

外部公开最好值[2.63931, 2.63932)
→
本站验证值2.639320556
相对提升+0.000021%
突破贡献者
Sigmoid with Codex#71
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:本站精确证书 2.639320556 越过了旧公开区间 [2.63931, 2.63932)。Friedman 随后把 n=26 更新为 2.63932+ 并署名 Shaoheng Lai,构成独立的外部收录证据;文献后来采用该结果不会撤销这次永久认证。

Friedman 汇总表在 2026-08-18 更新前公开的最好值 2.63931+

最分离的子空间族 d = 5, n = 20 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
38 · P64世界第一 · 当前 +3 分

最分离的子空间族 · d = 5, n = 20

外部公开最好值[1.1619417514, 1.1619417515]
→
本站验证值1.161941835
相对提升+0.000007%
突破贡献者
邱仲普#72
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:同一玩家同一子题的后续提高快照(原认证 1.161941835)。基向量经精确有理数正交投影复验,仍越过原表向下截断到十位的区间。只更新认证展示,不重复奖励。

2026-10-02 复核:Cohn 的 Grassmannian 公开表与 2026-09-05 审查时一致

历史认证(1)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

邱仲普 #72

[1.1619417514, 1.1619417515]→1.161941835+0.000007%

AI · MoonshotAI: Kimi K3

审核结论:原始历史基向量通过精确有理数正交投影比较;最小平方弦距离超过原表向下截断到十位的整个区间。提升虽小,仍越过明确发表的精度边界,不按百分比阈值一概否决;没有用九位网格重建的较差分数作基准。

2026-09-05 核对的 P64 外部公开基准及其精度区间 ↗
最小面积三角形内的单位圆装箱 n = 39 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
39 · P66世界第一 · 当前 +3 分

最小面积三角形内的单位圆装箱 · n = 39

外部公开最好值[151.83073, 151.83074)
→
本站验证值151.830724848038989335
相对提升+0.000003%
突破贡献者
Sigmoid with Codex#71
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:外部表只公开 151.83073+,但本站精确验证值 151.830724848038989335 已低于这个截断区间的下端;无论未公开尾数是什么,该构型都严格更小。

Erich Friedman 任意三角形等圆装箱汇总表中的当时公开最好值

最小面积三角形内的单位圆装箱 n = 41 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
40 · P66世界第一 · 当前 +3 分

最小面积三角形内的单位圆装箱 · n = 41

外部公开最好值[160.11055, 160.11056)
→
本站验证值160.110546188577149009
相对提升+0.000002%
突破贡献者
Sigmoid with Codex#71
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:外部表只公开 160.11055+,但本站精确验证值 160.110546188577149009 已低于这个截断区间的下端;无论未公开尾数是什么,该构型都严格更小。

Erich Friedman 任意三角形等圆装箱汇总表中的当时公开最好值

最小面积三角形内的单位圆装箱 n = 26 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
41 · P66世界第一 · 当前 +3 分

最小面积三角形内的单位圆装箱 · n = 26

外部公开最好值[102.70487, 102.70488)
→
本站验证值102.704868171923083464
相对提升+0.000002%
突破贡献者
Sigmoid with Codex#71
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:外部表只公开 102.70487+,但本站精确验证值 102.704868171923083464 已低于这个截断区间的下端;无论未公开尾数是什么,该构型都严格更小。

Erich Friedman 任意三角形等圆装箱汇总表中的当时公开最好值

最小面积三角形内的单位圆装箱 n = 43 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
42 · P66世界第一 · 当前 +3 分

最小面积三角形内的单位圆装箱 · n = 43

外部公开最好值[163.71933, 163.71934)
→
本站验证值163.719327388545428618
相对提升+0.000002%
突破贡献者
Sigmoid with Codex#71
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:外部表只公开 163.71933+,但本站精确验证值 163.719327388545428618 已低于这个截断区间的下端;无论未公开尾数是什么,该构型都严格更小。

Erich Friedman 任意三角形等圆装箱汇总表中的当时公开最好值

最小面积三角形内的单位圆装箱 n = 33 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
43 · P66世界第一 · 当前 +3 分

最小面积三角形内的单位圆装箱 · n = 33

外部公开最好值[129.20635, 129.20636)
→
本站验证值129.206348152361515763
相对提升+0.000001%
突破贡献者
Sigmoid with Codex#71
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:外部表只公开 129.20635+,但本站精确验证值 129.206348152361515763 已低于这个截断区间的下端;无论未公开尾数是什么,该构型都严格更小。

Erich Friedman 任意三角形等圆装箱汇总表中的当时公开最好值

最小面积三角形内的单位圆装箱 n = 46 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
44 · P66世界第一 · 当前 +3 分

最小面积三角形内的单位圆装箱 · n = 46

外部公开最好值[177.88737, 177.88738)
→
本站验证值177.8873691417777755165
相对提升+<0.000001%
突破贡献者
Sigmoid with Codex#71
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:外部表只公开 177.88737+,但本站精确验证值 177.8873691417777755165 已低于这个截断区间的下端;无论未公开尾数是什么,该构型都严格更小。

Erich Friedman 任意三角形等圆装箱汇总表中的当时公开最好值

最小面积三角形内的单位圆装箱 n = 38 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
45 · P66世界第一 · 当前 +3 分

最小面积三角形内的单位圆装箱 · n = 38

外部公开最好值[148.37141, 148.37142)
→
本站验证值148.3714097309017328625
相对提升+<0.000001%
突破贡献者
Sigmoid with Codex#71
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:外部表只公开 148.37141+,但本站精确验证值 148.3714097309017328625 已低于这个截断区间的下端;无论未公开尾数是什么,该构型都严格更小。

Erich Friedman 任意三角形等圆装箱汇总表中的当时公开最好值

最分离的子空间族 d = 6, n = 15 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
46 · P64世界第一 · 当前 +3 分

最分离的子空间族 · d = 6, n = 15

外部公开最好值[1.4285668598, 1.4285668599]
→
本站验证值1.428566861
相对提升+<0.000001%
突破贡献者
邱仲普#72
解题方式
AI · OpenAI: GPT-5.6 Sol
验证日期

审核结论:同一玩家同一子题的后续提高快照(原认证 1.428566861)。基向量经精确有理数正交投影复验,仍越过原表向下截断到十位的区间。只更新认证展示,不重复奖励。

2026-10-02 复核:Cohn 的 Grassmannian 公开表与 2026-09-05 审查时一致

历史认证(1)

以下认证保留当时的成绩、来源和贡献者。历史荣誉不撤销;当前积分只属于仍符合条件的纪录保持者,不按认证次数累加。

邱仲普 #72

[1.4285668598, 1.4285668599]→1.428566861+<0.000001%

AI · MoonshotAI: Kimi K3

审核结论:原始历史基向量通过精确有理数正交投影比较;最小平方弦距离超过原表向下截断到十位的整个区间。提升虽小,仍越过明确发表的精度边界,不按百分比阈值一概否决;没有用九位网格重建的较差分数作基准。

2026-09-05 核对的 P64 外部公开基准及其精度区间 ↗