#理论计算机科学

共 2 篇相关文章

TCSExam 是覆盖理论计算机科学全谱系的 LLM 评测基准，包含定理证明、求解器工程、构造与开放猜想四条赛道，用 Lean 内核与可执行检查器硬性校验，并提供 Full 与 Lite 两档版本。

AI证明唯一游戏猜想为真，理论计算机科学迎来转折点。MIT科学家Corey在Lex Fridman播客中解读PCP定理、近似困难性，以及AI突破对人类数学研究的冲击与身份危机。