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

micoolcho · x · 2026-10-27

被引用的长帖解释了为何「OpenAI 据称推翻 ETH 相关猜想」这件事很严肃：背景是计算机科学经典的 3-SAT 问题——给定一组布尔开关和约束规则，寻找满足所有规则的组合。暴力搜索随开关数指数爆炸，几百个开关的实例 brute force 需要超过宇宙年龄的时间；几十年来学界不断找到加速技巧，但始终撞在同一堵复杂度墙上。原帖认为若模型真的在此类问题上有实质突破，意义远超普通 benchmark。评论者补充了这一解释并表示这不是加密货币帖。