热点事件历史事件
OpenAI和Anthropic推翻指数时间假设
1 篇报道1 个报道来源10 天前更新
先了解这件事
报道摘要
OpenAI和Anthropic同时宣布，在10月16日用自己的内部模型推翻了指数时间假设（ETH），该假设与计算复杂性理论中的3-SAT问题和P≠NP密切相关，若成立则意味着P≠NP。两家给出的形式化证明（Lean）表明
摘自 北京智源研究院
报道时间线
沿着报道，了解事件的不同侧面。
10月29日
- 北京智源研究院精选OpenAI和Anthropic推翻指数时间假设
OpenAI和Anthropic同时宣布，在10月16日用自己的内部模型推翻了指数时间假设（ETH），该假设与计算复杂性理论中的3-SAT问题和P≠NP密切相关，若成立则意味着P≠NP。两家给出的形式化证明（Lean）表明