Search results

Erdős Problem 851: status mismatch (repo=open, erdosproblems.com=solved)

erdos-status-sync

Status: Open.

#2375 In google-deepmind/formal-conjectures;

· github-actions opened on Feb 21, 2026

Erdős Problem 845: status mismatch (repo=solved, erdosproblems.com=formally solved)

erdos-status-sync

formalisation exists elsewhereIndicates that a formalisation of the problem exists and should be portedIndicates that a formalisation of the problem exists and should be ported

Status: Open.

#2374 In google-deepmind/formal-conjectures;

· github-actions opened on Feb 21, 2026

Erdős Problem 728: status mismatch (repo=solved, erdosproblems.com=formally solved)

erdos-status-sync

formalisation exists elsewhereIndicates that a formalisation of the problem exists and should be portedIndicates that a formalisation of the problem exists and should be ported

Status: Open.

#2373 In google-deepmind/formal-conjectures;

· github-actions opened on Feb 21, 2026

Erdős Problem 397: status mismatch (repo=solved, erdosproblems.com=formally solved)

erdos-status-sync

formalisation exists elsewhereIndicates that a formalisation of the problem exists and should be portedIndicates that a formalisation of the problem exists and should be ported

Status: Open.

#2372 In google-deepmind/formal-conjectures;

· github-actions opened on Feb 21, 2026

Erdős Problem 355: status mismatch (repo=solved, erdosproblems.com=formally solved)

erdos-status-sync

formalisation exists elsewhereIndicates that a formalisation of the problem exists and should be portedIndicates that a formalisation of the problem exists and should be ported

Status: Open.

#2371 In google-deepmind/formal-conjectures;

· github-actions opened on Feb 21, 2026

Erdős Problem 347: status mismatch (repo=solved, erdosproblems.com=formally solved)

erdos-status-sync

formalisation exists elsewhereIndicates that a formalisation of the problem exists and should be portedIndicates that a formalisation of the problem exists and should be ported

Status: Open.

#2370 In google-deepmind/formal-conjectures;

· github-actions opened on Feb 21, 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

·  

Millennium Prize Problems

Ramsey Number R(5,5) and other Ramsey Number Values

ams-05: Combinatorics

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.

#2364 In google-deepmind/formal-conjectures;

· franzhusch opened on Feb 19, 2026

·  

Wikipedia, Combinatorics

Determine m(n): minimum n-uniform hypergraph without Property B for n ≥ 5

ams-05: Combinatorics

ams-90: Mathematical programmingOperations research, mathematical programmingOperations research, mathematical programming

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

wikipedia

Status: Open.

#2363 In google-deepmind/formal-conjectures;

· franzhusch opened on Feb 19, 2026

·  

Wikipedia, Combinatorics

Enumeration of Self-Avoiding Walks on Lattices: Existence of Closed-Form Formula or General Algorithm

ams-05: Combinatorics

ams-68: Computer science

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

wikipedia

Status: Open.

#2362 In google-deepmind/formal-conjectures;

· franzhusch opened on Feb 19, 2026

·  

Wikipedia, Combinatorics

Dedekind Numbers for n ≥ 10

ams-05: Combinatorics

ams-06: OrderOrder, lattices, ordered algebraic structuresOrder, lattices, ordered algebraic structures

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.

#2360 In google-deepmind/formal-conjectures;

· franzhusch opened on Feb 19, 2026

·  

Wikipedia, Combinatorics

Erdős Problem 1071: status mismatch (repo=solved, erdosproblems.com=formally solved)

erdos-status-sync

formalisation exists elsewhereIndicates that a formalisation of the problem exists and should be portedIndicates that a formalisation of the problem exists and should be ported

Status: Open.

#2355 In google-deepmind/formal-conjectures;

· github-actions opened on Feb 18, 2026