GPT-5.6 Sol
GPT-5.6 Sol Ultra 证明数学猜想
GPT-5.6 Sol Ultra 证明数学猜想这事，我认为真正值得琢磨的，不是证明本身，而是那份让证明“长出来”的提示词，它长达700字符，核心思路截然不同，不告诉模型怎么解题，只把“什么是完整证明、什么不算答案”写死，要求最高64个子智能体并行探索不同路线，并设“对抗智能体”专门挑刺，这种“管理解题过程而非插手解题步骤”的方法论，比证明是否正确更值得关注。另一个细节是，模型仅用1小时就完成指定任务，而预留了8小时，说明现有多智能体并行架构的解题速度可能远超预期。我看到数学家Bloom的观察同样犀利：“人类试一次就放弃了，而AI会不断尝试各种细微变化”。在系统性试错而非灵光一现的领域，AI正在用工程换深度。
发布于 广东
1
评论
赞
未登录
友善发言
评论
加载中
