跳到正文
AGI Hunt· miniapeur·· 2 小时前AI 评分38

研究者用 Claude 攻关悬置数学命题并给出证明路线图

研究者用 Claude 攻关悬置数学命题:给出证明路线图

AI 导读

研究者分享了用 Claude 辅助数学研究的体验:仅提供命题描述时结果平庸,但输入约 10 页个人研究笔记后,Claude 既延续已有思路,也拓展到陌生方向。该过程为高度成立的猜想提供了可能的证明路线图,但各项证明仍需时间逐项核验,不能默认正确。

来源:AGI Hunt · agihunt.info