EditorialFrom left, Jeremy Avigad, Patrick Massot and Heather Macbeth during the Formalization of Mathematics summer school at the Simons Laufer Mathematical Sciences Institute in Berkeley, Calif. on June 14, 2023. (Ian C. Bates/The New York Times)
EditorialFrom left, Jeremy Avigad, Patrick Massot and Heather Macbeth during the Formalization of Mathematics summer school at the Simons Laufer Mathematical Sciences Institute in Berkeley, Calif. on June 14, 2023. (Ian C. Bates/The New York Times)
EditorialFrom left: Laura Osterhaus Rosenstone, Jo Warren, Anna Azrieli and C Anthony-Green in Vanessa Anspaugh’s “Mourning After Mornings,” in New York, Nov. 9, 2022. (Andrea Mohin/The New York Times)