Hacker News · AI· titusblair·· 3 小时前同新闻AI 评分61
OpenAI称其AI推翻指数时间假设，专家解读算法与Lean证明细节
OpenAI says its AI disproved the Exponential Time Hypothesis
AI 导读
OpenAI宣布其内部模型产出三项成果，包括推翻指数时间假设（ETH）的算法，该算法在多项式空间内以亚指数时间计数k-CNF的满足赋值。论文给出的通用时间界在变量数超5.4亿时才优于当前最优算法，Lean形式化证明仅验证了较弱边界，且隐藏常数未指定。
同一新闻，精选展示《OpenAI AI模型破解多项世界级科学难题，引发数学与物理界震动》
来源：Hacker News · AI · theainewsreport.com