可逆计算专家让GPT-5.6 Sol运行33小时探索费马大定理新证明，任务被OpenAI终止，模型产出“此路不通”路线图

Michael P. Frank为GPT-5.6 Sol设定了高难度研究目标，探究费马大定理是否存在比怀尔斯-泰勒证明更简洁的途径，重点关注Frey曲线模性、一致无限下降法、算术abc型不等式以及一致低亏格商。该任务在后台持续运行约33个小时，后因被OpenAI系统强制阻止而终止。

该模型还报告称，其33小时的核心工作是将许多“听起来可行”的捷径转化为可验证的精确陈述，然后逐一证伪或排除，最终产出是一张“此路不通”的地图，而非证明本身。