FrontierMath 确认 AI 找到 Q₂ absolute Galois group 的显式 presentation，成为 benchmark 第二个已解决开放问题

Epoch AI 于 7 月 28 日将 Q₂ absolute Galois group presentation 作为 FrontierMath: Open Problems 的第二个已解决问题公开确认。最早已知 verifier-accepted solution 来自 Claude Fable 5，由 David Roe 于 6 月 9 日 elicited；6 月 24 日又有 GPT-5.5 Pro solution。Epoch 明确说明 verifier 给出强证据，但当时仍需数学家确认 AI 是否真正能给出完整证明，因此 7 月事件代表 benchmark/public-confirmation milestone，而非把 6 月最初 generation 重新定日。