List view

Birch and Swinnerton-Dyer Conjecture

ams-11: Number theory

millenium-problemsClay Maths Institute Millenium ProblemsClay Maths Institute Millenium Problems

new conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`

Status: Open.

#1414 In google-deepmind/formal-conjectures;

· ishaanxgupta opened on Dec 26, 2025

Navier Stokes Equations

ams-35: Partial differential equations

millenium-problemsClay Maths Institute Millenium ProblemsClay Maths Institute Millenium Problems

new conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`

Status: Open.

#2293 In google-deepmind/formal-conjectures;

· franzhusch opened on Feb 15, 2026

Yang-Mills Existence and Mass Gap

ams-81: Quantum theory

millenium-problemsClay Maths Institute Millenium ProblemsClay Maths Institute Millenium Problems

needs-prerequisitesIn order to formalise this conjecture, some major additions on top of mathlib are needed.In order to formalise this conjecture, some major additions on top of mathlib are needed.

new conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`

Status: Open.

#2365 In google-deepmind/formal-conjectures;

· franzhusch opened on Feb 19, 2026