用子代理拆解数学证明
burny_tech · x · 2026-07-10
帖子转述了一种给模型的提示词写法：启动一个“GPT 5.6 Sol Pro”，让它把椭圆曲线有理点群有限生成的证明写成 Leslie Lamport 风格的分步短句，并尽量自包含。 作者强调这种写法会让模型自己拆出多个子任务来完成证明，重点在于通过提示词组织模型的推理流程，而不是单纯讨论数学结论本身。
burny_tech · x · 2026-07-10
帖子转述了一种给模型的提示词写法：启动一个“GPT 5.6 Sol Pro”，让它把椭圆曲线有理点群有限生成的证明写成 Leslie Lamport 风格的分步短句，并尽量自包含。 作者强调这种写法会让模型自己拆出多个子任务来完成证明，重点在于通过提示词组织模型的推理流程，而不是单纯讨论数学结论本身。