AI辅助证明猜想：原始命题竟是错的，GPT反复卡壳
2prime_PKU · x · 2026-07-07
北京大学团队分享人机协作挑战数学猜想的历程。他们发现原始猜想在数学上是错误的——在与GPT共同尝试证明时，GPT在某个关键节点反复卡壳。正是这一卡壳，促使研究者转向寻找反例，最终推动了研究走向真正的突破。
所属事件:北大团队人机协作攻克排队论35年猜想(7 条相关)→
「模型」频道最新
- NVIDIA 称 Nemotron 3 Ultra 在 2026 IMO 上拿到 30/42 — NVIDIAAI · 2026-07-22
- Gemma-4-26B-a4B 传在微调对比中压过 Qwen MoE — JLeonsarmiento · 2026-07-22
- OpenAI 传将向美国政界简报下一代模型家族 — kimmonismus · 2026-07-22
- Muse Spark 1.1 在 Text Arena 跑到 1495 分，性价比很突出 — ycombinator · 2026-07-22
- 教授提醒：最先进的大模型正变得无法相互替代 — emollick · 2026-07-22
- 实测吐槽谷歌 Gemini 全家桶：无一款模型能胜任核心工作负载 — bindureddy · 2026-07-22