进展中科学与数学10月27日 00:00 UTC Anthropic 发布论文，声称给出 3-SAT 的亚指数时间算法并附 Lean 4 形式化证明 若结论成立将推翻指数时间假设；证明所用公理已在代码库中说明，尚无独立专家审查结果发表。 在 Anthropic (GitHub) 阅读全文 →分享 来源Anthropic (GitHub)Paper (PDF) 主编: Haydn Snape