-
Notifications
You must be signed in to change notification settings - Fork 258
Pull requests: google-deepmind/formal-conjectures
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bugeaud Problem 4, move two defs to ForMathlib/Analysis/Equidistribution/
#3811
opened Apr 21, 2026 by
rwst
Contributor
Loading…
feat(ErdosProblems): 1203
erdos-problems
Erdős Problems
#3810
opened Apr 21, 2026 by
danielchin
Contributor
Loading…
feat(ErdosProblems): 1210
erdos-problems
Erdős Problems
#3809
opened Apr 21, 2026 by
danielchin
Contributor
Loading…
feat: Formalize Degree-1 Fourier Weight Conjecture (O'Donnell)
#3807
opened Apr 20, 2026 by
AlexeyMilovanov
Loading…
feat(GreensOpenProblems): 39
green-problems
Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#3804
opened Apr 20, 2026 by
jeangud
Contributor
Loading…
feat(ErdosProblems): 962
erdos-problems
Erdős Problems
#3802
opened Apr 19, 2026 by
HansleCho
Loading…
add problems from book: Bugeaud, Distribution Modulo One and Diophant…
#3799
opened Apr 18, 2026 by
rwst
Contributor
Loading…
feat(MonochromaticQuantumGraph): solve
eqSystem6_no_solution_d6
#3798
opened Apr 17, 2026 by
mo271
Collaborator
Loading…
feat(GreensOpenProblems/57): solution for Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
z3_functional
green-problems
#3797
opened Apr 17, 2026 by
mo271
Collaborator
Loading…
Add 10 WOWII open conjectures (batch 2)
#3796
opened Apr 17, 2026 by
henrykmichalewski
Member
Loading…
Add Erdős Problem 1173 (set mappings on ω_{ω+1} under GCH)
erdos-problems
Erdős Problems
#3794
opened Apr 17, 2026 by
henrykmichalewski
Member
Loading…
Add Erdős Problem 1172 (partition relations under GCH)
erdos-problems
Erdős Problems
#3793
opened Apr 17, 2026 by
henrykmichalewski
Member
Loading…
Add Erdős Problem 1168 (ℵ_{ω+1} partition without GCH)
erdos-problems
Erdős Problems
#3792
opened Apr 17, 2026 by
henrykmichalewski
Member
Loading…
Add Erdős Problem 1167 (stepping-down partition relation)
erdos-problems
Erdős Problems
#3791
opened Apr 17, 2026 by
henrykmichalewski
Member
Loading…
Add Erdős Problem 1177 (three conjectures on obligatory 3-uniform hypergraphs)
erdos-problems
Erdős Problems
#3790
opened Apr 17, 2026 by
henrykmichalewski
Member
Loading…
Add Erdős Problem 1171 (ω₁² multicolor partition)
erdos-problems
Erdős Problems
#3789
opened Apr 17, 2026 by
henrykmichalewski
Member
Loading…
Add Erdős Problem 601 (infinite path or large independent set, $500 prize)
erdos-problems
Erdős Problems
#3788
opened Apr 17, 2026 by
henrykmichalewski
Member
Loading…
Add Erdős Problem 524 (Salem–Zygmund sup norm)
erdos-problems
Erdős Problems
#3787
opened Apr 17, 2026 by
kieranmcshane
Loading…
Add Erdős Problem 1175 (triangle-free subgraph of uncountable chromatic graph)
erdos-problems
Erdős Problems
#3786
opened Apr 16, 2026 by
henrykmichalewski
Member
Loading…
Add Erdős Problem 111 (bipartite edge deletion for uncountable chromatic graphs)
erdos-problems
Erdős Problems
#3785
opened Apr 16, 2026 by
henrykmichalewski
Member
Loading…
Add Erdős Problem 70 (3-uniform partition relation on the continuum)
erdos-problems
Erdős Problems
#3784
opened Apr 16, 2026 by
henrykmichalewski
Member
Loading…
Add Erdős Problem 596 (characterize graphs with finite-vs-countable Ramsey gap)
erdos-problems
Erdős Problems
#3783
opened Apr 16, 2026 by
henrykmichalewski
Member
Loading…
Add Erdős Problem 1128 (Prikry-Mills counterexample for monochromatic countable boxes)
erdos-problems
Erdős Problems
#3782
opened Apr 16, 2026 by
henrykmichalewski
Member
Loading…
feat(OpenQuantumProblems): Added proofs for sanity-checked sorrys of OQP23
#3780
opened Apr 16, 2026 by
MarioKrenn6240
Contributor
Loading…
feat(ErdosProblems/741): solution for Erdős Problems
variants.upper
erdos-problems
#3778
opened Apr 16, 2026 by
mo271
Collaborator
Loading…
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.