极值竞技场
中/EN
最新动态

动态

日常纪录刷新会实时显示在首页动态流中。本页专门收录平台大事记：新题发布、最优性证明封盘、超越外部文献纪录的突破，以及核心规则更新。

  1. 站点更新本周周赛扩充至 n=50P96 新增 n=21–50，纳入本周结算。共 48 个竞赛子题，截止时间不变。
  2. 最优性证明P95：n = 5–7 已证明最优采纳 zzzcy #308 的证明。允许任意角度旋转，最小边长分别为 11、14、17。三个子题归档，保留历史纪录。
  3. 新题上线第 10 周周赛：连续尺寸 L 形装入正方形10 月 31 日美西时间 21:00（北京时间 11 月 1 日 12:00）开赛。现已扩充至 n = 3–50，共 48 个竞赛子题，可自由旋转。
  4. 最优性证明P94：n = 1–8 已证明最优采纳 zzzcy #308 的证明。连续最优与九位小数最优均已核验，保留历史纪录。
  5. 突破外部纪录新增 41 条突破认证涵盖 P12、P16、P66、P82、P94、P95，同时更新了 6 项外部参考纪录。
  6. 最优性证明P16 三角形内分散点：n = 5、6、7 已证明最优Yinfeng Xu 1996 年在 Acta Mathematicae Applicatae Sinica 发表的论文给出了等腰直角三角形内 2 ≤ n ≤ 7 个点最小距离的精确最大值：n = 5 为 4 − 2√3，n = 6 为 1/2，n = 7 为 (4 + √2)(√(1 + 2√2) − √2)/7。Erich Friedman 的表也列为已证明。NUE_13 指出了这条外部信息；本站引用该证明，相关子题归档，纪录持有人不变。
  7. 最优性证明P11 n = 2–4、P51 n = 2 已证明最优采纳 NUE_13 在讨论区的两份证明。P11：3-4-5 直角三角形内 2、3、4 个等圆的最优半径为 5/28、25/164、5/36，本站补全了原证明中不严格的步骤，n = 4 的上界沿用 HwaterB 在 P19 的三块覆盖论证。P51：正方形内两盏灯的最小光强至多为 24/5，Friedman 公布的对称构型取等（证明注明由 DeepSeek 生成）。四个值都是连续问题的最优值，不宣称九位小数网格最优；子题已归档，纪录持有人不变。NUE_13 获两次 +2 证明分。
  8. 新题上线四个题族扩展：新增 368 个子题P16 三角形内分散点、P12 长方形装圆、P13 正方形装大小递增的圆扩展到 n = 100，P82 正多边形装圆的五边形与六边形扩展到 n = 100、八边形扩展到 n = 48。新增子题引用 Packomania 汇总表公布的数值和作者，本站只给出基础起步构型，均可直接挑战外部纪录。P12 n = 7–12 也补上了外部参考纪录，P13 与 P16 已有子题的作者署名按原表更正。n > 30（P82 为 n > 40）的子题集中列在题族总表中，提交 JSON 由同一精确验证器判定。
  9. 最优性证明P60、P61、P63、P65、P67：17 个子题证明最优zzzcy 通过邮件提交了五个题族的计算机辅助证明（使用 AI 辅助完成）：涵盖 P67 n = 3–9，P63 n = 8、13、21、34，P65 四档，以及 P60 d = 5 n = 16 与 P61 d = 3 n = 5。本站仅读取静态证书数据，未运行附带脚本，并使用独立编写的核验程序重放了全部证书。相关子题均已归档，当前纪录持有人不变。
  10. 最优性证明P72 立方体内的最小四面体：n = 5 已证明最优，1/6NUE_13 邮件投稿（已注明由 DeepSeek 生成）：若五点中有一点落在其余四点构成的四面体内，则最小四面体体积 ≤ 1/12；否则三个互跨四面体可分割凸包，而单位立方体内五点凸包体积 ≤ 1/2，故最小四面体体积 ≤ 1/6。本站逐步核验并补全了其中两处细节。这是 P72 首个确定最优值的子题，纪录持有人不变。
  11. 最优性证明三天内 25 个子题证明最优：P93 十二档、P05 四档、讨论区九档汇总 10 月 3 日至 5 日审核采纳的三批最优性证明：zzzcy 的 P93 计算机辅助证明、The-Anh Vu-Le 的 P05 Lean 4 形式化证明，以及来自讨论区与邮件的四份数学证明。每项结果均附有完整证明页面链接。
  12. 新题上线P87 等圆覆盖圆盘扩展到 n = 100新增 n = 26–100 共 75 个子题。外部公开文献仅统计到 n = 25，因此新增规模均无外部参考纪录，从本站基础构型起步。n ≤ 40 支持可视化编辑器交互调整，n > 40 集中展示于题族总表并支持 JSON 提交，由同一精确覆盖验证器判定。
  13. 最优性证明P93 正三角形内圆半径和：n = 1–11、15 已证明最优zzzcy 通过邮件提交了一份计算机辅助证明（使用 AI 辅助完成），证明这十二档的当前站内纪录即九位小数网格上可达到的最高分数。本站仅读取证书数据，使用独立编写的程序重新枚举接触三角剖分并重放了全部有理数证书。相关子题已归档，当前纪录持有人不变。同一证明包还确定了 n = 21、28、36、45 的连续理论最优值；由于这四档的九位小数网格分数仍有提升空间，暂保持开放。
  14. 最优性证明P05 正方形装圆：n = 3、5、6、7 已证明最优The-Anh Vu-Le 使用 Lean 4 + Mathlib 形式化证明了 1–7 个单位正方形的最小外接圆半径。本站引用其证明仓库，将 n = 3、5、6、7 四档标记为已证明最优（n = 4 此前已归档），并保留历史纪录。同时补齐了 Friedman 汇总表中 P05 n = 36–40 与 P90 n = 27、33–40 的外部参考纪录。
  15. 站点更新计分规则 v3：已冻结题目的纪录不再计分已冻结的题目（P07、P15、P27）不再接受新提交，纪录无法易主，导致原本的“本站第一”实际上变成了永久加分。更新后，这些纪录继续保留历史记录、署名与个人主页展示，但不再计入总贡献值；题目列表页同步新增“已冻结的题目”专区说明具体原因。本次调整共涉及 3 位用户合计 7 分。感谢 NUE_13 指出这一问题。
  16. 最优性证明采纳讨论区与邮件证明：九个子题已证明最优P89 n=4、8、16、18，P91 n=12、27，P90 n=1，P82（m=6, n=3）与 P17 n=6 经核验后归档为已证明最优，原有历史纪录完整保留。NUE_13 的两项独立证明及 hadsajnc、LittleChasa 各一项独立证明分别获授证明分；复用已有方法的论证保留署名、不重复计分。
  17. 突破外部纪录两个新构型越过外部纪录：P92 n = 50 与 P61（d = 4, n = 11）Tmrg 将单位圆内 50 个圆的半径和提升至 6.538814808，比 Friedman 汇总表 10 月 1 日刚收录的 Joost de Winter 纪录（6.53814+）高出约 0.00067，且排布结构与公开构型及站内此前认证构型均不相同。zzzcy 将 C⁴ 中 11 条复射影直线的相干度压低至 0.425147038，低于 Game of Sloanes 公开表的八位小数区间下界，内积分布亦与此前认证构型不同。两项结果均已通过精确验算与人工复核认证。
  18. 最优性证明P89、P91 的三个子题已证明最优采纳 😰 #106 提交的直径下界证明：确定 P89 n=1、2 的最优正方形边长为 1，P91 n=1 的最优边长为 2。
  19. 站点更新全站讨论区开放！
  20. 最优性证明采纳讨论区证明：七个子题已证明最优P19 n=7、P16 n=4、P31 n=4 及 P90 n=2、8、18、32 经核验后按已证明最优归档，保留历史纪录与网格精度说明。HwaterB、XSsMC、NUE_13 的四项独立证明贡献各记一次证明分；其余尚未完备的猜想保持开放。
  21. 站点更新P51 更新七档外部纪录；P08 补齐外部来源核对 Erich Friedman 原表后更新 P51 n=28–32、34、35 的外部参考值；P08 按 r=2/s 换算补入外部文献精度区间与原作者署名，并修正此前的原创性表述。历史纪录与署名保持不变，世界第一加分按当前领先状态动态计算。
  22. 新题上线七巧板三角形、多米诺、L 形装入正方形：三个新题族，104 个子题新增 P89–P91 三个多联骨牌装入正方形题族，目标是最小化外接正方形边长。前 84 个子题均附有 Friedman 装箱表的文献参考值：其中 50 个规则网格构型与 31 个配图重建构型已通过精确验算并上线展示，其余 3 个（七巧板 n = 15，L 形 n = 22、28）暂从基础网格起步并保留外部参考目标。此外，新增多米诺 n = 33–40 与 L 形 n = 29–40 共 20 个尚无文献纪录的规模。骨牌支持精确直角旋转与任意角度微调。
  23. 站点更新计分规则更新：本站第一 1 分，世界第一额外 +3 分原永久突破分改为随当前世界第一状态动态计算：若站内纪录易主，原持有者失去对应的 1+3 分；若被外部严格更优的新纪录超越，则只扣除世界第一的 3 分。新纪录持有者的世界第一加分资格仍需人工复核认证。历史认证与署名保留，证明分、特别贡献分及已结算周赛荣誉不变；同一结果被外部收录或处于公开精度区间内不视为被超越。
  24. 最优性证明P17 五点已证明连续最优：√6 − √2采纳 XSsMC #250 提出的两个单位正方形分拆归约，结合经典三点定理并补全精确取等构型，授予一次永久 +2 证明分。原有历史纪录与九位小数网格精度说明完整保留。
  25. 站点更新P51 同步 17 档外部纪录，保留历史贡献根据 Erich Friedman 汇总页的最新数据同步更新 17 个子题的外部参考值与作者署名；此前根据旧版配图重建的构型继续作为初始参考布局。历史认证与署名保留，当前积分按最新领先状态计算。
  26. 新题上线六类经典装箱与覆盖题：274 个子题进入题库上线 P82–P87 六个正多边形与圆的装箱及覆盖题族，支持交互吸附与自动尺寸缩放，计分采用文献自然单位。其中 268 个子题展示经精确验算的文献参考构型，6 个子题使用基础起步布局并保留外部参考目标；另有 6 个已在连续意义下彻底解决的 P82 子题仅作参考展示，不开放刷榜。
  27. 最优性证明P17 四点已证明连续最优：三条竖带给出 √13/3采纳 HwaterB #40 的三竖带抽屉原理证明，并补全达到上界的交错取等构型，授予一次永久 +2 证明分；保留历史纪录与九位小数网格近似说明。
  28. 最优性证明P21 六点已证明最优：五个方格给出精确上界 √2采纳 HwaterB #40 的五方格抽屉原理证明，现有整数坐标构型恰好精确取等；保留历史纪录，并授予一次永久 +2 证明分。
  29. 最优性证明P58 五点、六点补全文献最优值，按连续问题已解决归档利用仿射不变性引入三角形 Heilbronn 问题的经典解析结果，将 n = 5、6 归档为连续意义下已证明最优，并保留站内有限小数近似纪录。
  30. 新题上线P05 可倾斜正方形装入圆扩展到 n = 40，Friedman 表的 21 个构型全部重建新增 n = 15–40 共 26 个子题。其中 n = 15–35 的外部最佳值取自 Erich Friedman 的 squares-in-circles 汇总表，本站根据公开配图逐一重建构型、通过精确验证器核验并署名原作者；n = 36–40 此前尚无公开文献记录，从基础构型起步。
  31. 站点更新P56 十二个子题换上本站构造；已证明最优的子题只显示代数值n = 11、13、15、16、19、21、25、26、28、32、36、40 的参考构型由本站离线搜索与交错行构造更新，署名为 MinMax Arena 基准，原有提交记录保留在历史中。此外，已证明连续最优的子题统一展示精确代数闭式（如 2/√3），对应小数值由代数式直接导出。
  32. 最优性证明P56 晶格理论论文：7 个子题的连续最优值已证明发布有限点数下界、n ≥ 10 的三角晶格取等条件分类及交错行构型的精确极值分析。n = 7、8、14、20、22、23、30 标记为连续意义下“已证明最优”并停止刷榜，历史纪录与贡献分保留；n = 33、35 仍保持开放。
  33. 站点更新计分规则公开，证明思路也计入贡献贡献值细分为纪录分、证明分、突破分和特别贡献分四类。经审核采用的证明思路可获得永久奖励，同一贡献的后续补充和改写不重复加分。个人主页现已展示四类分数明细，并为已发表证明的贡献者补登分数。
  34. 最优性证明HwaterB 与极值竞技场联合发布 P20 四点、五点最优性证明利用三个 60° 扇形分割给出直径上界，证明半圆盘内四点与五点的连续最优最小距离均为 1。n = 4 可在有理网格上精确取等；n = 5 的唯一精确取等构型含无理坐标 √3/2，当前九位小数纪录作为网格近似值保留。
  35. 最优性证明HwaterB 与极值竞技场联合发布 P21 九点最优性证明HwaterB #40 利用八区域凸多边形分割证明十字形内九点的最优最小距离恰为 √5/2，完成了其此前纪录构型的最优性证明，同时解决了 NUE_13 #31 投稿中提出的九点猜想。
  36. 站点更新突破纪录采用统一认证与待定机制新增“突破审查”页面，将数值上超过外部参考值的站内纪录分为“待定”与“已认证”两档：待定构型虽已通过验证器，但不计突破分；需经人工复核外部来源、计量单位、公开精度与完整构型后，方予认证并计入对应突破奖励。
  37. 新题上线三个装箱题族扩展到 800 个可验证规模P01、P02 分别扩展至 n = 300，P06 扩展至 n = 200，全量导入 Packomania 公开构型与文献参考数值。n > 30 的大规模子题集中收录于题族总表，均支持独立 JSON 提交与精确验证。
  38. 站点更新讨论区向所有已登录用户开放发帖与回复不再以打破纪录为前提。用户登录后即可参与各题讨论；公开署名、发帖频率限制（每小时最多 5 个新主题、30 条回复）以及自动审核机制继续生效。
  39. 新题上线覆盖专题新增 P78：用正三角形覆盖圆盘开放 n = 7–18 共 12 个规模，为覆盖专题中首个曲线边界容器题族。验证器在代数数域 Q(√3) 上精确检验正三角形截面与圆盘的覆盖关系；Erich Friedman 汇总表中的 12 个文献参考值已全部换算收录，公开配图中的构型也已逐一复原并通过验证。
  40. 最优性证明NUE_13 的投稿促成 P21 n = 4、5 的最优性证明NUE_13 投稿给出的最优构型与精确值均正确；本站补充了四臂距离不等式与五个单位正方形分割论证，使证明无需依赖对称性假设。投稿中一并提出的 n = 9 猜想当时尚未证明，后于 9 月 5 日由 HwaterB #40 完成证明。
  41. 新题上线覆盖问题专题新增五个题族P73–P77 共开放 115 个可独立挑战的规模，涵盖等圆覆盖多边形、可自由旋转正三角形覆盖正方形及正三角形等经典问题。文献中有公开配图的构型均已复原验算，其余规模提供明确标注的初始参考布局。
  42. 最优性证明本站证明了 P08 在 n = 4 的最优性通过对圆心可行域做直径分解，将四圆装填归约为唯一可行分支并导出精确最优半径；Cphysics 提交的九位小数构型已达到验证器网格可表示的最高精度。
  43. 最优性证明用户 #40 证明了 P19 在 n = 4 的最优性L 形区域恰好可划分为三个直径均为 √2 的单位正方形，由抽屉原理可知四点最小距离不超过 √2；Dilses #32 的构型精确取等。
  44. 最优性证明用户 #46 证明了 P10 在 n = 3、4、5 的最优性当圆半径 r > 1/2 时，所有圆心均被迫落入中央单位正方形内，而该区域的直径严格小于 2r，无法容纳任意两个圆心，从而同时确定 n = 3、4、5 的最优半径均为 1/2。
  45. 突破外部纪录P51 n = 5 越过了已发表的最好值Cphysics 当时将最低照度提升至 22.237716，超过 Erich Friedman 汇总页当时公开的 22.213+ 区间。历史动态注记：外部文献表已于 2026 年 9 月更新为 22.252+，当前外部基准以题目页为准，历史贡献记录保留。