이 프롬프트를 복사해 사용 중인 AI 어시스턴트에 입력하세요.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/meleantonio/open-math-prover.저장소 README를 불러오는 중…
수집된 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…
원문 언어: 영어
README를 불러오지 못했습니다. 아래의 저장소 Skill 목록은 계속 이용할 수 있습니다.