Claude 辅助将 Erdős 问题 #188 的界从 6≤k≤6330 改进为 7≤k≤60，公开 DRAT 与区间验证证书

Carson Crocker 在 Hexagon 报告二维 Euclidean Ramsey 问题 #188 的新界 7≤k≤60。下界由不可满足 SAT 实例与 DRAT 证书支撑，上界构造带 90 个正 24 边形的周期性红色区域，并用严格球算术验证任意 60 个连续单位间距共线点都触及红集。作者披露主要搜索、程序与文本由 Claude Code 在其指导下生成，两套上界检验程序采用不同方法；证书和代码开放，但没有数学专家完整审阅。