A sample of the conjectures discovered by the Ramanujan Machine is available here.

As mentioned in the paper, the Ramanujan Machine discovers mathematical conjectures without proving them. We highly encourage you to try and prove those conjectures and contribute to mathematics.

If you prefer to first get our feedback about your proof, you may contact us here.

Otherwise, please submit your proof below. Our website currently only accepts text and images, so please include a link to a PDF/Doc/Tex file of your proof. We encourage the community to vote and discuss the suggested proofs.

Suggested Proofs

Showing ideas that are
Push your idea0/2000