用AI Agent挑战数学猜想，开发者推出高级编程技能库
doodlestein · x · 2026-07-30
受近期讨论启发，作者正尝试编写名为 /frontier-math-research-with-epistemic-humility 的 AI 技能，计划用它来证明或寻找 Kaplanski 零因子猜想的反例。
同时，帖子附带介绍了 Jeffrey's Skills (JSM)——一个面向 Claude Code、Codex 等 AI Agent 的高级编程技能订阅平台。该工具强调 CLI 优先，提供多层渐进式技能文件、自测脚本和钩子工作流，旨在提升 AI 编码工作流的质量。
所属事件:AI Agent 挑战数学研究面临高成本与技术瓶颈(3 条相关)→
「编程与Agent」频道最新
- 跳过代码：将模糊函数直接编译为神经网络权重的新范式 — weichiuma · 2026-07-30
- 预测：两年半后 AI 模型将实现 5 倍提速与成本减半 — OfirPress · 2026-07-30
- 深度探讨：AI 生成原生 PPT 的最佳技术路线与实战 — dotey · 2026-07-30
- 语音输入重塑 Agent 交互：开发者实测推荐 40 美元麦克风 — edgarpavlovsky · 2026-07-30
- 厘清 Agent 核心概念：MCP、Skill、Tool Call 等有什么区别？ — yangyi · 2026-07-30
- 实战分享：用Opus规划调度Grok写代码的智能体工作流 — kevinnbass · 2026-07-30