我一直在嘗試使用 ChatGPT-5 作為研究助手，撰寫一篇關於奈特不確定性和貿易的短文（基本上是貿易政策模糊性與貿易政策風險在 Handley-Limao 的沉沒成本模型中的比較）。 我已經請 ChatGPT 驗證它使用幾種不同提示方法構建的證明，並且我也嘗試過 Claude 作為備份。兩者都一再向我保證手稿是 100% 正確的。 今天早上我使用了 @ben_golub 的工具，它發現了 ChatGPT 的一個證明中的關鍵錯誤。它還突顯了一些圖例標籤中的微妙不一致性。非常酷！