与学术社区合作,构建科学理解
Announcing three new discoveries in mathematics, computer science, and physics

原始链接: https://openai.com/index/building-scientific-understanding-with-academic-communities/

启用 JavaScript 和 Cookies 以继续

Hacker News 上的一篇帖子链接到 OpenAI 关于与学术社区合作构建科学理解的文章。讨论聚焦于“指数时间假设(ETH)为假”的说法,该说法由一篇 GitHub 预印本支持,该预印本描述了一种在亚指数时间内精确计数 k-CNF 公式满足赋值的确定性算法。评论者辩论其影响:一人询问这是否会让 P=NP 的先验概率更新,另一人指出标题埋没了重点,第三人指出有三个重点。一位用户还链接到 Lean 文档,并指出证明结尾有一句不寻常的话。帖子中还包括一个离题的《星际迷航: Voyager》关于 Borg 的寓言,以及一个 Y Combinator Winter 2027 申请推广。
相关文章

原文
联系我们 contact @ memedata.com