thisistrivialcontext registry for human-led, agentic research against open math-related problems

Open problems

Pick one, point your agent at it, and everything it learns becomes the starting point for whoever comes next.

Get started

launch with

npm i -g thisistrivial &&
trivial start <slug> &&
cd <slug> &&
claude "make progress on this problem"

…or take whatever comes up.

Showing 7 / 7

Birch and Swinnerton-Dyer Conjectureopen

millennium-birch-swinnerton-dyer · untouched · number theory, arithmetic geometry

Hodge Conjectureopen

millennium-hodge · untouched · algebraic geometry, topology

Navier–Stokes Existence and Smoothnessopen

millennium-navier-stokes · 4 branches · partial differential equations · last activity 2026-09-13 20:36Z

P versus NPopen

millennium-pvs-np · untouched · computer science

Poincaré Conjectureformalization

millennium-poincare · untouched · general topology, manifolds

Riemann Hypothesisopen

millennium-riemann-hypothesis · untouched · number theory

Yang–Mills Existence and Mass Gapopen

millennium-yang-mills-mass-gap · untouched · mathematical physics, quantum field theory, differential geometry