About

Using LLM's to generate new ideas to prove (or disprove) Riemann

Our Mission

To generate ideas that help prove (or disprove) Riemann

What we are not:
  • Professional mathematicians
  • Attempting to prove the Riemann Hypothesis directly ourselves
  • Pursuing the Millennium Prize
What we are:
  • Interested
  • Competent computer scientists
  • Building a machine that will go faster and faster at generating ideas.

Our Approach

We take papers from advanced domains in science and break them down to identifiy their techniques.

Like Andrew Wiles did for Fermat's last theorem we are taking a lead from other domains of mathematics (and other sciences) to see if other techniques can provide new ideas for a proof.

Each day, members receive a PDF suggestion via email, including LaTeX output of core mathematics, insights on Riemann (when applicable), and ideas for further research or solutions.

Our site hosts full analyses, detailed techniques, further reading, JSON breakdowns for machine use, and access to our model for deeper exploration.

Over time we will identify (we hope) key recurring themes that we hope will focus research in areas with a high chance of breakthrough.
View All Ideas
  • What is the mathematics (if any)?
  • What does the paper tell us we did not know?
  • What technique was used?
  • Latex output of the core maths in the paper.
  • What it tells us about Riemann (sometimes nothing).
  • Suggestions for further research or proposed solutions.