MathProofGPT

MathProofGPT

Solve complex mathematical proofs with this GPT trained on thousands of papers

By theobourgeois.com

Prompt Starters

  • Prove sqrt(2) is irrational
  • Prove the Bolzano-Weierstrass Theorem