Erdős 问题 #357 迎新纪录:穷举搜索找到 18 项反例上界 28
kevrussell · x · 2026-10-30
kevrussell 报告在 Erdős 问题 #357 上的新进展:此前已用穷举计算机搜索(并由第二个独立程序确认)找到 A364132(28)=75 的新项;本次进一步确定 A364153(18)=28,即用不超过 28 的数可构造 3 个 18 项的例子,而两个独立穷举搜索证明仅用 1..27 找不到任何此类例子。
作者明确强调:这是穷举搜索的结果而非数学证明,Erdős 问题 #357 本身仍是公开未解问题。这类「机器搜索给出新下界/构造、留待人类证明」的工作流是 AI 时代数学研究的典型样本。
「研究」频道最新
- Epoch 数据：芯片能效年升 40%，AI 算力与电力缺口持续拉大 — teortaxesTex · 2026-10-30
- Soft-MTP 论文:一行代码修复多 token 预测梯度缺陷,全尺度免费涨点 — pmttyji · 2026-10-30
- Vicki Boykis DataPhilly 演讲：ONNX 推理下的检索与排序实践 — vboykis · 2026-10-30
- 6299 队中夺第 9：智能体读 MRI 写标签征战 Kaggle 膝关节异常检测 — kagglingdieter · 2026-10-30
- Meta 发布 RoboJEPA：8B 参数机器人世界模型首建缩放律 — apsarathchandar · 2026-10-30
- 读 57 篇论文总结:多伦多大学称 harness 设计可造成 6 倍性能差 — Marmelab · 2026-10-30