借助 GPT-6 Astra 刷新 cap set 纪录:9、11 维分别达 1104 与 5744 点
holdenmatt · x · 2026-11-10
开发者 Matt Holden 发布论文，在 GPT-6 Astra 辅助下找到维度 9 和 11 中更大的 cap set（有限域 F₃ 上无三点共线的点集）：
- F₃⁹ 中 1104 个点，F₃¹¹ 中 5744 个点；据其所知，此前最大已知结果分别为 1082 和 5504。
- 其中 1104-cap 包含两份 DeepMind 团队 2023 年用 FunSearch 发现的 512-cap。
- 论文、坐标以及用于验证结果的 Python 代码均已公开。
作者自 2003 年通过游戏 SET 接触该问题，已积累十多年私有搜索仓库，但 gpt-4、o3、opus 等旧模型在数学研究上都不够好，直到最近 Astra 这类模型才变得足够有用。
「研究」频道最新
- 连续语言模型综述发布，Papers with Code 已收录 151 篇论文 — _akhaliq · 2026-11-10
- Meta 与普林斯顿推出 Strategist:智能体自进化推理策略省 39% 推理成本 — armand_ruiz · 2026-11-10
- Gensyn 开源 open-8b 直播训练：每步可本地复现验证，审计成本降至 1.3 倍 — benfielding · 2026-11-10
- Google DeepMind 发布 MuJoCo 4.0,3 年来首次大版本升级 — lukas_m_ziegler · 2026-11-10
- Visa 购物智能体基准：22 模型总通过率 57.2%，54% 失败仍下单 — krishnan · 2026-11-10
- Brown PLT 提出「人类判断即规格」：不用读形式语言也能用好 LLM — ezyang · 2026-11-10