RTX 5090 上跑 Qwen 27B 直播攻开放数学难题,目标 41 组
GuiltyBookkeeper4849 · reddit · 2026-09-20
继上次让 Qwen 3.8 在 RTX 3090 上连续自主运行 63 小时尝试黎曼猜想并走红后,博主发起新一轮直播实验:用 Qwen 3.8 27B 在单张 RTX 5090 上挑战开放数学问题——覆盖设计问题 C(25,15,5)。
- 当前最优解需要 42 个分组,开放目标是找到 41 组的方案
- 选择此问题的原因是验证极其简单:任何提议的解都能被独立 checker 立即判定对错
- 直播网站公开展示 agent 的消息、记忆、循环过程、生成的代码,并运行独立验证器实时核对
- 博主的立场:开源小模型在消费级硬件上也能推动科学发现,自主智能体研究应开放给人类和 AI 共享以加速探索
「模型」频道最新
- 实测 jev 上真实浏览器任务秒翻车,演示页面疑为定制沙盒 — TheZachMueller · 2026-09-20
- 20 美元档 OpenAI 用户无缘新模型 Sol，被讽只能用「ultraslop」 — Sauers_ · 2026-09-20
- 三值 2-bit 模型 Bonsai-2-27B GGUF 版登 Hugging Face 热门 — dealignai · 2026-09-20
- 四个 LLM 打《毁灭战士》：Jev 击杀 5.63 领跑，实测延迟差 15 倍 — shniydder · 2026-09-20
- 网友推断:中国若仍在蒸馏美国前沿模型,说明没偷到权重 — menhguin · 2026-09-20
- 花 1.74 美元同时问 1738 个模型同一道数学题，仅 6 个答对 — arthurcolle · 2026-09-20