Nvidia 研究员自发布「简化证明」宣称 ETH 为假，附可复现算法
fortnow · x · 2026-10-27
Nvidia AI 架构师、前 Princeton 讲师 Shiva Kintali 发布预印本《A simplified proof of ETH is false》，宣称给出指数时间假设（ETH）为假的简化证明：对任意固定 ε>0，存在确定性 3-SAT 算法在 Cε(n+m+1)^c·2^{εn} 次位运算内判定，直接与 ETH 矛盾。
- 证明思路：将每个子句表示为多项式，用参数 T 的线性表达式替换变量出现，使变形后的子句因子在各采样点上只依赖单一变量组，从而实现按组分离计数；结合 sparsification、bounded occurrences、spectral replacement 与 rational interpolation。
- 作者称证明自包含、附 worked example，论文挂在其个人主页（preprint，未经同行评审）。
- 注意：其主页还罗列了大量同类 preprint（拟黎曼猜想简证、量子下界等），此类「推翻重大猜想」的独立声明历来需高度谨慎，社区尚无认可，建议视为待验证观点而非定论。
所属事件:英伟达研究员发布简化证明宣称 ETH 为假(2 条相关)→
「研究」频道最新
- OpenAI 最新数学成果被指含 Kakeya 猜想证明，AGMAI 催促公开 Yang-Mills 材料 — calabi_and_yau · 2026-10-27
- 用 ESM 嵌入找相似位点造标签，数据增强提升蛋白质 pKa 预测 — bravo_abad · 2026-10-27
- EBRAINS 新研究：平均场模型让全脑模拟更贴近生物真实 — AnnaCiaunica · 2026-10-27
- GenXR-Bench：AI 编码工具做 XR 应用，最强模型仅 50.9% 通过率 — rohanpaul_ai · 2026-10-27
- EmbodiedLab 发布：评测机器人「动手做实验」求知的具身基准 — HexaFuture · 2026-10-27
- 浙大 RoboHarness：LLM 智能体加简单控制面板即超越 VLA 模型 — zju · 2026-10-27