#multi-agent

  1. OpenAI: a proof for the Navier–Stokes Millennium Prize Problem
  2. ProofAtlas

    An AI-first maths research platform whose best-known feature is a ranked list of the top 500 open problems in mathematics.