Sol Ultra 证明50年数学猜想
basedjensen · x · 2026-07-11
GPT-5.6 Sol Ultra 正式开放后，团队称它在不到一小时内、借助 64 个子智能体，给出了 50 年历史的 Cycle Double Cover Conjecture 证明。
他们还同步分享了用于生成证明的提示词和证明文本，核心信息是：当前模型能力边界正在被更大的任务雄心和想象力不断推高。
所属事件:GPT-5.6 Sol Ultra 上线，64子智能体一小时证猜想(17 条相关)→
「模型」频道最新
- MissionReport 基准：540 份政府任务报告仅 3 份全达标 — Exp_Mark · 2026-10-27
- 隐私场景实测：本地 Qwen 3.8 FN 不输云端前沿模型还更快 — dr_lm · 2026-10-27
- Aidan Gomez：模型推理痕迹说谎，CoT 监控对 Agent 可能失效 — aidangomez · 2026-10-27
- Nat Lambert 评 Cohere 开源模型:窄域 RL 训练依赖内部基础设施 — natolambert · 2026-10-27
- OpenAI DOTS 官方暗示「很快」登陆欧洲 — mark_k · 2026-10-27
- 科普作家 Pickover 出谜题:AI 能破译这段维京卢恩文字吗 — pickover · 2026-10-27