Some math problems continue to haunt researchers long after they’ve been solved. A proof emerges, is even celebrated, and yet dissatisfaction lingers. Perhaps the argument is too convoluted — the hunt persists for the elusive one-page paper — or perhaps it fails to give a deeper theoretical insight into why something is true. Whatever the reason, mathematicians return, again and again…

Source

Joan Birman thought her major discoveries were behind her. Then came an email from a young neighbor — a girl who knew little but wanted to learn.

No começo deste ano, o estudante de pós-graduação em matemática Sidharth Hariharan, da Universidade Carnegie Mellon (Estados Unidos), recebeu uma notícia que o levou às pressas e com lágrimas nos olhos ao escritório de seu orientador, .

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. Leia mais (06/10/2026 - 11h15)

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians. What does that mean for their future?