ETH错了，OpenAI 推翻计算机理论25年地基 | 指数时间假说 | 3-SAT | OpenAI | Anthropic | Lean 4 | 形式化验证 | 计算复杂度

Download (MP3)




Bagikan