List view

Brennan conjecture

ams-30: Functions of a complex variable

good first issueGood for newcomersGood for newcomers

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

wikipedia

Status: Open.

#3475 In google-deepmind/formal-conjectures;

· franzhusch opened on Mar 8, 2026

Goodman's conjecture on coefficients of p-valent functions

ams-30: Functions of a complex variable

ams-32: Complex analysisSeveral complex variables and analytic spacesSeveral complex variables and analytic spaces

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

wikipedia

Status: Open.

#3477 In google-deepmind/formal-conjectures;

· franzhusch opened on Mar 8, 2026

Kung–Traub conjecture on optimal order of multipoint iteration without memory

ams-41: Approximations and expansions

ams-65: Numerical analysis

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`

wikipedia

Status: Open.

#3478 In google-deepmind/formal-conjectures;

· franzhusch opened on Mar 8, 2026

Pompeiu problem: characterization of domains lacking the Pompeiu property

ams-28: Measure and integration

ams-35: Partial differential equations

ams-42: Harmonic analysis on Euclidean spaces

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

wikipedia

Status: Open.

#3479 In google-deepmind/formal-conjectures;

· franzhusch opened on Mar 8, 2026

Fuglede's conjecture: spectral sets and tilings

ams-42: Harmonic analysis on Euclidean spaces

ams-46: Functional analysis

ams-47: Operator theory

good first issueGood for newcomersGood for newcomers

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

wikipedia

Status: Open.

#3476 In google-deepmind/formal-conjectures;

· franzhusch opened on Mar 8, 2026

Vitushkin's Conjecture

ams-28: Measure and integration

ams-30: Functions of a complex variable

ams-42: Harmonic analysis on Euclidean spaces

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

wikipedia

Status: Open.

#3481 In google-deepmind/formal-conjectures;

· franzhusch opened on Mar 8, 2026

Bloch-Landau Constants: exact values and precise bounds

ams-30: Functions of a complex variable

ams-32: Complex analysisSeveral complex variables and analytic spacesSeveral complex variables and analytic spaces

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

wikipedia

Status: Open.

#3482 In google-deepmind/formal-conjectures;

· franzhusch opened on Mar 8, 2026

Global regularity of smooth solutions to the 3D incompressible Euler equations

ams-35: Partial differential equations

ams-76: Fluid mechanics

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`

wikipedia

Status: Open.

#3483 In google-deepmind/formal-conjectures;

· franzhusch opened on Mar 8, 2026

Regularity of solutions of Vlasov-Maxwell equations

ams-35: Partial differential equations

ams-78: Optics + electromagnetic theory

ams-82: Statistical mechanicsStatistical mechanics, structure of matterStatistical mechanics, structure of matter

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`

wikipedia

Status: Open.

#3485 In google-deepmind/formal-conjectures;

· franzhusch opened on Mar 8, 2026