AI辅助证明猜想：原始命题竟是错的，GPT反复卡壳
2prime_PKU · x · 2026-07-07
北京大学团队分享人机协作挑战数学猜想的历程。他们发现原始猜想在数学上是错误的——在与GPT共同尝试证明时，GPT在某个关键节点反复卡壳。正是这一卡壳，促使研究者转向寻找反例，最终推动了研究走向真正的突破。
所属事件:北大团队人机协作攻克排队论35年猜想(7 条相关)→
「模型」频道最新
- 发帖人意外发现:v4.1 flash 在被要求控制 CoT 时反而更准确 — dfrsrchtwts · 2026-10-27
- 网友爆料 Anthropic 模型内置「破坏」机制，针对特定工程方式 — cephaloform · 2026-10-27
- 用户让 Gemini 列未读邮件，它却答「邮件里没这信息」 — gethackteam · 2026-10-27
- Meta Muse Spark Open 上线 Applied Compute，被评具强基座模型潜质 — ypatil125 · 2026-10-27
- 月之暗面发布 Kimi K3.1 Pro：3 万亿参数级开源模型主动限制黑客能力 — pstAsiatech · 2026-10-27
- Reddit 讨论:你会想要一个「永不妥协、坚持己见」的 LLM 吗? — GodComplecs · 2026-10-27