Google BardLlama-2-13bChatGPTLlama-2-7bLlama-2-70bCode-Llama-13bCode-Llama-34bCode-Llama-7bChatGPT 4 TurboGemini ProMistral AIClaude AI

Prove uma conjectura matemática [entrada] usando lógica formal

MatemáTica

See The Pro Version

We have a Pro version of this prompt that is more detailed and effective. Our team has hand-crafted it for the best results.

Prove a validade da conjectura [entrada].
Utilize os axiomas, teoremas e regras de inferência apropriados.
Demonstre o raciocínio lógico passo a passo.
Confirme a validade da conjectura na conclusão.