GPT-5.6 Sol Ultra完成数学证明
haider1 · x · 2026-07-11
帖子转述称，GPT-5.6 Sol Ultra 通过 64 个子代理，在不到 1 小时 内完成了对一个 50 年历史的 cycle double cover conjecture 的证明。
原帖还强调，这个证明来自公开模型，不是 OpenAI 内部模型，并表示会分享提示词和证明内容，鼓励用户继续尝试 Ultra。
所属事件: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