他让GPT-5.6 Sol连跑33小时攻关费马大定理，被系统强制终止
近日，菲尔兹奖公布引发数学与AI结合的讨论。可逆计算专家Michael P. Frank尝试让GPT-5.6 Sol探究费马大定理是否存在比现有证明更简洁的途径，任务运行约33小时后被OpenAI系统强制终止。
GPT-5.6 Sol分析可能原因包括会话占用资源过多，或OpenAI此前已尝试类似问题但失败。模型在运行期间进行了扎实工作，将许多“听起来可行”的思路转化为精确陈述并逐一验证或排除，最终产出了一张“此路不通”的地图，而非证明本身。
对于终止原因，存在多种解读：有人认为OpenAI可能刻意限制模型解决重大难题，以保持自身竞争优势或避免监管风险；OpenAI研究员Noam Brown则反驳称，若用户能用模型解决千禧年难题并获得奖金，对OpenAI将是最好的宣传。也有观点指出，终止可能是技术性原因，如模型运行时触发了防卡死机制，或是版本bug导致。
这一事件引发关于AI能力边界、资源分配与科技公司策略的思考。
marsbit21 小時前
