No começo deste ano, o estudante de pós-graduação em matemática Sidharth Hariharan, daUniversidade Carnegie Mellon ( Estados Unidos ), recebeu uma notícia que o levou às pressas ao escritório de seu orientador, com lágrimas nos olhos. Ele acabara de receber um email de Maryna Viazovska , professora da École Polytechnique Fédérale de Lausanne, na Suíça , e vencedora da Medalha Fields de 2022, a maior honraria da matemática . Durante mais de dois anos, a dupla liderou uma equipe de seis matemáticos em um esforço para decompor uma das mais célebres demonstrações de Viazovska em uma sequência de etapas lógicas rigorosamente definidas, um processo conhecido como formalização.