Mathematical Claim Generation and Verification
implementationChallengeOctober 19, 2025
Prompt Content
Instruct your 'Prover' agent to generate a non-trivial mathematical claim or theorem (e.g., 'The derivative of x^n is n*x^(n-1)' or 'Fermat's Last Theorem is true'). The claim should be initially presented to the 'Challenger' and 'Refiner' agents for rigorous verification using their respective roles and tools. The system should aim to definitively prove or disprove the claim, or identify why it cannot be verified.
Related Prompts
Explore similar prompts from our community
Usage Tips
Copy the prompt and paste it into your preferred AI tool (Claude, ChatGPT, Gemini)
Customize placeholder values with your specific requirements and context
For best results, provide clear examples and test different variations