GPT-5.6 Sol 交互式参与构造更短的 9、10 元 superpermutations，并通过 FrontierMath verifier

7 月 26 日，Uku Raudvere 发布改进的 8-symbol superpermutation；同日 William Echols 在 interactive Codex session 中使用 GPT-5.6 Sol xhigh reasoning 构造出 9、10 symbols 的更短 superpermutations。Epoch 随后的 pre-release FrontierMath: Open Problems test 中，GPT-5.6 Sol 找到这些公开构造并成功通过 verifier，因此该问题在 benchmark release 时被记录为 solved by AI。