@misc{indiciae4e9c0888c8f4,
  title = {Mathematical Proof Between Generations},
  author = {Jonas Bayer and Christoph Benzmüller and Kevin Buzzard and Marco David and Leslie Lamport and Yuri Matiyasevich and Lawrence Paulson and Dierk Schleicher and Benedikt Stock and Efim Zelmanov},
  year = {2022},
  doi = {10.1090/noti2860},
  url = {https://arxiv.org/abs/2207.04779},
  note = {Source identifier: 2207.04779}
}