#可计算性理论

一篇把 OpenAI 两件看起来毫不相关的事——入侵 Hugging Face 和批量生成数学证明——放进同一套可计算性理论框架来解释的论文，逻辑推演很有意思。