研究者用 Claude 攻关悬置数学命题:给出证明路线图
miniapeur · x · 2026-11-10
一位研究者分享用 Claude 辅助数学研究的体验。起初只给命题描述,产出平庸结果;但喂入约 10 页自己的研究笔记后,Claude 表现令人惊喜——既延续了他已有的想法,也拓展到他不熟悉的方
向。
他认为这为证明一个实验上已高度成立的猜想提供了可能的路线图,但强调证明尚需大量时间逐项核验,不能默认正确。
「模型」频道最新
- 博主五项实测腾讯 Hy4:幻灯片、电脑操作、3D 全面领先 — CodeByPoonam · 2026-11-10
- 传 Gemini 4 Carbon 今日发布,低思考档能否延续 Argon 表现受关注 — Eissa_Cozorav · 2026-11-10
- 用户吐槽 Max/Ultra 订阅 5 小时额度 1 小时耗尽,推理容量告急 — theteknosaur · 2026-11-10
- 蚂蚁 Ling-3.2-flash 支持 JSON Schema 结构化输出 — Wonderful-Switch3107 · 2026-11-10
- 用户吐槽 Fable 5.2 在 Cursor 中几乎不可用 — IndraVahan · 2026-11-10
- 语音模式可用性混乱:ChatGPT/Claude 各端规则互不一致 — koltregaskes · 2026-11-10