来自 snwy（@snwy_me）的推文线程

祝我三岁生日快乐！我尝试用 GPT-3.5 Turbo 编写 Coq 证明，结果失败了，心想“唉，这肯定没戏”。