EditorialProfessor Jeremy Avigad, center, a philosopher at Carnegie Mellon University, with students during a Formalization of Mathematics summer program at the Simons Laufer Mathematical Sciences Institute in Berkeley, Calif., on June 14, 2023. (Ian C. Bates/The New York Times)
EditorialProfessor Jeremy Avigad, center, a philosopher at Carnegie Mellon University, with students during a Formalization of Mathematics summer program at the Simons Laufer Mathematical Sciences Institute in Berkeley, Calif., on June 14, 2023. (Ian C. Bates/The New York Times)
EditorialProfessor Jeremy Avigad, center, a philosopher at Carnegie Mellon University, with students during a Formalization of Mathematics summer program at the Simons Laufer Mathematical Sciences Institute in Berkeley, Calif., on June 14, 2023. (Ian C. Bates/The New York Times)
EditorialProfessor Jeremy Avigad, center, a philosopher at Carnegie Mellon University, with students during a Formalization of Mathematics summer program at the Simons Laufer Mathematical Sciences Institute in Berkeley, Calif., on June 14, 2023. (Ian C. Bates/The New York Times)