推理模型如何破解一个80年之久的数学难题 - 第20集
一场播客对话讲述了AI模型如何成功反驳一个存在80年的数学猜想，展示了通用模型在数学发现中的潜力。
嘉宾Alexander Wei、Hongxun Wu、Lijie Chen
节目简介
上个月，一个通用AI模型在数学领域做出了重大突破——它反驳了数学家Paul Erdős在80年前提出的单位距离猜想。研究人员Alexander Wei、Hongxun Wu和Lijie Chen分享了这一发现的经过，包括如何运行模型、验证证明，以及这对数学研究和AI协作的未来意味着什么。