待验证50% 置信事实精确时间

SETH比ETH更强，ETH只要求3-SAT不存在2^{o(n)}算法，而SETH对一般k-SAT给出了更精细的指数下界。

1

来源数

50%

置信度

长期有效

时效性

2026/10/26

首次发现

来源

指数时间假设被证伪？理论计算机科学迎来大地震

涉及实体

强指数时间假设concept 指数时间假设concept

相关事实

待验证Kimi K3 的 Extra High 和 Max 两档推理强度现在使用 max 参数，此前发送的 xhigh 设置会被该模型拒绝。55% 相似待验证相比朴素的统一 3-bit 量化，IQ3 系列通常能以相近的显存代价换来明显更好的输出质量54% 相似待验证不同度量方法在三个组件上的排名并不相同，没有一种度量能在所有方面都最优。53% 相似待验证IQ3_S是一种非均匀3位整数量化方案，相较于标准Q4量化精度损失更大但体积与显存需求更小53% 相似待验证在SWE Bench Pro等智能体编程基准中，Qwen 3.8据称在部分项目上超越了Opus 4.6 Max52% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1101459

API

curl https://kongchang.com/api/v1/knowledge/claims/1101459

MCP

get_claim(id=1101459)