OpenAI 日前宣布，其 AI 模型破解了计算机科学中沿用二十多年的猜想指数时间假设，英文简称 ETH，并非以太坊。
该假设关注特别难算的问题到底有多难，并以布尔可满足性问题 SAT 为例：给定一组逻辑条件，是否存在一种赋值使所有条件同时成立。
问题规模变大时，已知最好办法基本只能逐个尝试可能答案，时间开销随规模呈指数增长。
若指数时间假设被推翻，意味着许多被认为几乎不可能更快的问题，理论上或许存在更好解法。
若该结果最终经得起专家审查，将直接动摇指数时间假设。
就“OpenAI 日前宣布”这项披露，我更关注原文提出的条件能否验证，而不是只接受看多或看空的结论。 这里记录的是某个主体的解释与判断，不能把观点当作已经发生的政策变化或未来结果。
后续逐项对照原文的观察条件和实际数据；若条件没有兑现，或者走势与假设相反，这套解释就要重新评估。你认同原文的条件，还是有更能解释走势的反证？
$ETH
#ETH
该假设关注特别难算的问题到底有多难，并以布尔可满足性问题 SAT 为例：给定一组逻辑条件，是否存在一种赋值使所有条件同时成立。
问题规模变大时，已知最好办法基本只能逐个尝试可能答案，时间开销随规模呈指数增长。
若指数时间假设被推翻，意味着许多被认为几乎不可能更快的问题，理论上或许存在更好解法。
若该结果最终经得起专家审查，将直接动摇指数时间假设。
就“OpenAI 日前宣布”这项披露，我更关注原文提出的条件能否验证，而不是只接受看多或看空的结论。 这里记录的是某个主体的解释与判断，不能把观点当作已经发生的政策变化或未来结果。
后续逐项对照原文的观察条件和实际数据；若条件没有兑现，或者走势与假设相反，这套解释就要重新评估。你认同原文的条件，还是有更能解释走势的反证？
$ETH
#ETH