elder_plinius 发布 V3R1T4S:用闲置算力攻克开放问题,一切需可验证
Kyrannio · x · 2026-10-14
提示词注入圈知名研究者 elderplinius 发布 V3R1T4S,继 L1B3RT4S 和 CL4R1T4S 之后的第三个开源仓库。定位是「agent 真正攻克了的开放问题」的开放家园,规则是「proof or it didn't happen」:每个结果必须附上成果本体、可读的验证器、找到它的确切代码、发现过程和被打破的记录表快照,任何人类或 agent 都能自行验证。愿景是让数千人把闲置 token 指向人类的开放问题,所有方法与 prompt 开放;有在世的出题人的谜题须经其批准才解封。仓库含 bank、known-knowns、sealed-envelopes 等目录,采用 AGPL-3.0 与 CC-BY-4.0 许可。
「编程与Agent」频道最新
- 网友 vibe coding 复活未发售的 BattleBots PS2 游戏 — TAbrodi · 2026-10-14
- Anthropic 日合并量 4 个月从 2500 涨破 3 万,自建 Scion 应对 — kevinsxu · 2026-10-14
- Ethan Mollick:AI Agent 将对客服部门发起「合法 DDoS」 — emollick · 2026-10-14
- 把乱代码塞进独立函数,算重构还是只是装箱? — jimmykoppel · 2026-10-14
- Claude Code 2.1.299 即将发布,更新内容待揭晓 — ClaudeCodeLog · 2026-10-14
- Notion 们纷纷做 MCP,"for agents"软件或成新赛道 — Historical_Kick3793 · 2026-10-14