@misc{indiciae34c7c299c240,
  title = {Machine-Assisted Proofs (ICM 2018 Panel)},
  author = {James Davenport and Bjorn Poonen and James Maynard and Harald Helfgott and Pham Huu Tiep and Luís Cruz-Filipe},
  year = {2018},
  url = {https://arxiv.org/abs/1809.08062},
  note = {Source identifier: 1809.08062}
}