Challenging Math Conjectures with AI: Developer Releases Premium Coding Skills
doodlestein · x · 2026-07-30
Inspired by recent discussions, the author is developing an AI skill named /frontier-math-research-with-epistemic-humility to prove or find a counterexample to Kaplanski's Zero Divisor Conjecture.
Additionally, the post highlights Jeffrey's Skills (JSM), a premium AI coding skill platform for agents like Claude Code and Codex. The CLI-first tool offers progressive disclosure skill files, self-testing scripts, and hooked workflows to level up AI coding capabilities.
Related event: AI Agents Face High Costs and Bottlenecks in Math Research(3 posts)→
More from coding & agent
- Frontier AI Agents Can Do Coding, But Fail at Open-Ended AI Research — Peter Kirgis · 2026-07-30
- Compiling Fuzzy Functions Directly into Neural Weights: The ProgramAsWeights Paradigm — weichiuma · 2026-07-30
- Prediction: AI Models in 2.5 Years to Be 5x Faster, 2x Cheaper, and Approaching Saturation — OfirPress · 2026-07-30
- Deep Dive: Best Technical Routes and Practices for AI-Generated Native PPTs — dotey · 2026-07-30
- Voice Input Reshapes Agent Interaction: Dev Tests $40 Mic for Wispr Flow — edgarpavlovsky · 2026-07-30
- Clarifying Agent Concepts: Differences Between MCP, Skill, and Tool Call — yangyi · 2026-07-30