机器辅助校对（ICM 2018小组）
Machine-Assisted Proofs (ICM 2018 Panel)
摘要：
提交给arXiv的这份报告是2018年国际数学家大会（里约热内卢，8月）小组会议的报告。虽然v1是该报告，但其意图是，它仍然是一份载有小组成员和其他人对该专题的思考的活文件。
英文摘要：
This submission to arXiv is the report of a panel session at the 2018 International Congress of Mathematicians (Rio de Janeiro, August). It is intended that, while v1 is that report, this stays a living document containing the panelists', and others', reflections on the topic.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
