Aug 1, 2026
Upper bounds for spherical codes
Model / AI: OpenAI (unreleased)
machine-checkedself-reported
OpenAI reports a resolution with an accompanying Lean artifact.
Source read 2026-09-08. Read the linked source to identify this individual result and its attribution; proofs were not independently checked.