@inproceedings{70dc1a306ad2407a90d3ae72c0867d4e,
title = "Machine-assisted proofs",
abstract = "The panel took place on the 7th August 2018. After the moderator had introduced the topic, the panelists presented their experiences and points of view, and then took questions from the floor.",
keywords = "Machine proof",
author = "James Davenport and Bjorn Poonen and James Maynard and Harald Helfgott and Tiep, {Pham Huu} and Luis Cruz-Filipe",
note = "Funding Information: Acknowledgements. The author gratefully acknowledges the support of the NSF (grants DMS-1839351 and DMS-1840702). He also thanks Gabriel Navarro and Eamonn O{\textquoteright}Brien for helpful comments on the topic of this discussion. Publisher Copyright: {\textcopyright} ICM 2018.All rights reserved.; 2018 International Congress of Mathematicians, ICM 2018 ; Conference date: 01-08-2018 Through 09-08-2018",
year = "2018",
language = "English (US)",
series = "Proceedings of the International Congress of Mathematicians, ICM 2018",
publisher = "World Scientific Publishing Co. Pte Ltd",
pages = "1085--1110",
editor = "Boyan Sirakov and {de Souza}, {Paulo Ney} and Marcelo Viana",
booktitle = "Invited Lectures",
}