BREAKTHROUGH REVIEW

突破审查。

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

已验证突破38
待定候选15
涉及题族9
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 = 48 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
25 · 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 = 37 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
26 · 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 任意三角形等圆装箱汇总表中的当时公开最好值

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

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

外部公开最好值[1.1761278309, 1.1761278310]
本站验证值1.17612899
相对提升+0.000099%
突破贡献者
邱仲普#72
解题方式
AI · MoonshotAI: Kimi K3
验证日期

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

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

复射影空间中的码本打包 d = 4, n = 11 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
28 · P61世界第一 · 当前 +3 分

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

外部公开最好值[0.425147265, 0.425147275]
本站验证值0.425147173
相对提升+0.000022%
突破贡献者
Stonebubu#75
解题方式
AI · Z.ai: GLM 5.3 Flash
验证日期

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

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

历史认证(1)

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

周长固定矩形内的可变半径圆 n = 26 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
29 · 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 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
30 · P64世界第一 · 当前 +3 分

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

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

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

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

最小面积三角形内的单位圆装箱 n = 39 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
31 · 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 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
32 · 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 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
33 · 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 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
34 · 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 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
35 · 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 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
36 · 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 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
37 · 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 的当前可验证构型图为该子题的当前构型;突破分数与贡献者以右侧固定快照为准。
38 · P64世界第一 · 当前 +3 分

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

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

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

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