登录

当前标签：速记破译

Claude破译哥德尔千页速记笔记

Claude破译哥德尔千页速记笔记

Claude用几天读出哥德尔尘封八十余年的千页速记笔记，还原出经Coq验证的证明，并列出14个无人研究的新课题。