All news

PublicationFormalization

Progress in Formalizing Sphere Packing in Dimension 8

The project report behind the formalization: modular forms, the Cohn–Elkies conditions, and where an autoformalization model took over.

Authors: Sidharth Hariharan, Christopher Birkbeck, Seewoo Lee, Ho Kiu Gareth Ma, Bhavik Mehta, Auguste Poiroux, Maryna Viazovska

Published in: arXiv:2604.23468

MathPaperAI
Sources

Source 1 of 1

arXiv:2604.23468

arxiv.org

The project report behind the formalization: modular forms, the Cohn–Elkies conditions, and where an autoformalization model took over.

Open original

Summary

The project report behind the formalization: modular forms, the Cohn–Elkies conditions, and where an autoformalization model took over.

  1. 01arXiv:2604.23468