-
Notifications
You must be signed in to change notification settings - Fork 257
Pull requests: google-deepmind/formal-conjectures
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
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…
Add Erdős Problem 501 (independent sets for real-indexed families)
erdos-problems
Erdős Problems
#3777
opened Apr 16, 2026 by
henrykmichalewski
Member
Loading…
Add Erdős Problem 603 (chromatic Property B for intersection ≠ 2)
erdos-problems
Erdős Problems
#3776
opened Apr 16, 2026 by
henrykmichalewski
Member
Loading…
Add Erdős Problem 595 (K₄-free graph not union of triangle-free, $250 prize)
erdos-problems
Erdős Problems
#3775
opened Apr 16, 2026 by
henrykmichalewski
Member
Loading…
Add Erdős Problem 593 (obligatory 3-uniform subhypergraphs, $500 prize)
erdos-problems
Erdős Problems
#3774
opened Apr 16, 2026 by
henrykmichalewski
Member
Loading…
feat(ErdosProblems): add 52
erdos-problems
Erdős Problems
#3772
opened Apr 16, 2026 by
mo271
Collaborator
Loading…
feat(ErdosProblems): add 15
erdos-problems
Erdős Problems
#3771
opened Apr 16, 2026 by
mo271
Collaborator
Loading…
feat(GreensOpenProblems): 38
green-problems
Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#3761
opened Apr 16, 2026 by
jeangud
Contributor
Loading…
feat: Prove erdos 1196
erdos-problems
Erdős Problems
WIP
Work in progress
#3760
opened Apr 16, 2026 by
Paul-Lez
Collaborator
Loading…
feat(ErdosProblems): add Problem 505 (Borsuk's conjecture)
erdos-problems
Erdős Problems
#3746
opened Apr 15, 2026 by
bengoechea
Loading…
feat(ErdosProblems): add Problem 89 (distinct distances in the plane)
erdos-problems
Erdős Problems
#3745
opened Apr 14, 2026 by
bengoechea
Loading…
feat(GreensOpenProblems): 36
green-problems
Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#3736
opened Apr 14, 2026 by
jeangud
Contributor
Loading…
add Erdős 1199
erdos-problems
Erdős Problems
#3733
opened Apr 13, 2026 by
YunusM235
Contributor
Loading…
feat(Wikipedia): McKay conjeture
wikipedia
#3732
opened Apr 13, 2026 by
parabamoghv
Contributor
Loading…
Disproof of Mukwembi's Theorem 2.1 via Q₃ (3-cube)
#3726
opened Apr 13, 2026 by
henrykmichalewski
Member
Loading…
3 of 4 tasks
Prove monochromatic 3-AP with large difference (Erdős 645)
erdos-problems
Erdős Problems
#3719
opened Apr 12, 2026 by
XC0R
Contributor
Loading…
Add three conjectures from Farey spectroscopy research
#3716
opened Apr 11, 2026 by
SaarShai
Loading…
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.