巴拿赫格与相位检索：AI在数学中应用的案例研究
Banach lattices and phase retrieval: A case study for the use of AI in mathematics
AI总结：
本文以巴拿赫格与相位检索领域为例，研究大型语言模型辅助数学研究时，结合Lean验证可形成更团结的学术共同体、加深领域理解。
AI中文摘要：
大型语言模型辅助专业数学家的能力正快速提升。今年年初，一组巴拿赫格理论与相位检索领域的研究人员开始将该技术融入研究流程。面对模型可靠性的挑战，他们还决定将发现过程与Lean验证相结合。本文呈现了这一做法如何促成更团结的学术共同体，并加深对本领域理解的案例研究。
英文摘要：
The ability of large language models to assist professional mathematicians has been progressing rapidly. Earlier this year, a group of researchers in Banach lattice theory and phase retrieval began incorporating this technology into their research workflows. Facing challenges about the reliability of these models, they also decided to couple the discovery process with Lean verification. Here, we present a case study of how this has led to a more united community and a deeper understanding of our field.
