OpenAI 疑似进展触及 3-SAT，指数级难题被指遭挑战

OpenAI 被称在经典 3-SAT 问题上取得疑似进展，若相关模型确能实现实质突破，将触及暴力搜索呈指数增长的复杂度墙。引用长帖认为，此类结果的意义远超普通 benchmark；数十年来学界虽找到加速技巧，仍未越过同一障碍。