메뉴
SkillsMP는 meleantonio/open-math-prover에서 4개의 skill을 수집했습니다. skill을 열어 소스와 세부 정보를 확인하세요.
수집된 skill 4개 중 4개를 표시합니다.
Independently attack a candidate math proof or disproof: check exact claim match, edge cases, hidden assumptions, circular reductions, non-counting partial results dressed as solutions, and lemma counterexamples. Use when reviewing a proof draft, after a…
원문 언어: 영어
Build a CDC-style problem-specific prompt for attacking an open math problem: exact restatement, complete success criteria, non-counting partial results, traps, multi-agent search heuristics, and adversarial audit requirements. Use when creating PROMPT.md,…
원문 언어: 영어
Attack an open mathematical problem end-to-end using problem selection, CDC-style problem-specific prompts, multi-approach search, proof drafting, and adversarial audit. Use when the user wants to prove or disprove an open problem, attack Erdős problems, run…
원문 언어: 영어
Filter and score candidate open math problems for AI-assisted attack. Prefer actively discussed problems; deprioritize those tied to major open conjectures or clearly out of reach. Use when choosing among Erdős problems, open problems lists, or deciding…
원문 언어: 영어