Skip to content

Pull requests: google-deepmind/formal-conjectures

New pull request New
114 Open 2,413 Closed
114 Open 2,413 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat(Probabilistic): Kahn–Kalai threshold conjecture (Park–Pham 2022) wikipedia
#4018 opened May 17, 2026 by henrykmichalewski Member Loading…
1 task done
1
feat(Probabilistic): Erdős 1959 — graphs with arbitrarily high χ and girth wikipedia
#4017 opened May 17, 2026 by henrykmichalewski Member Loading…
1 task done
2
feat(Probabilistic): Sidorenko's conjecture (1993) wikipedia
#4016 opened May 17, 2026 by henrykmichalewski Member Loading…
2 tasks done
2
feat(ForMathlib/Probability): Lovász Local Lemma (symmetric + asymmetric) wikipedia
#4015 opened May 17, 2026 by henrykmichalewski Member Loading…
2 tasks done
1
feat(Wikipedia): Self-Avoiding Walks wikipedia
#4014 opened May 16, 2026 by MavenRain Contributor Loading…
1
feat(ErdosProblems): 98 erdos-problems Erdős Problems
#4011 opened May 16, 2026 by flound1129 Loading…
1
1
chore(FormalConjectures): use LaTeX rather than markdown in docstrings arxiv erdos-problems Erdős Problems green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf linter mathoverflow millenium-problems Clay Maths Institute Millenium Problems wikipedia
#4004 opened May 13, 2026 by Paul-Lez Collaborator • Draft
chore(ErdosProblems): Normalize Erdős problem docstring references erdos-problems Erdős Problems
#4003 opened May 13, 2026 by Paul-Lez Collaborator • Draft
1
chore(Wikipedia): harmonize module docstrings wikipedia WIP Work in progress
#4002 opened May 13, 2026 by Paul-Lez Collaborator • Draft
1
prove(ErdosProblems/36): M(1) = 1 erdos-problems Erdős Problems
#3997 opened May 13, 2026 by md-amer Loading…
2
feat(ErdosProblems): 600 erdos-problems Erdős Problems
#3996 opened May 12, 2026 by zachary-feng Contributor Loading…
1
3
Rendering contribute webpage from CONTRIBUTE.md
#3993 opened May 12, 2026 by Sfgangloff Contributor Loading…
1
2
feat(GreensOpenProblems): 44 green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#3991 opened May 11, 2026 by jeangud Contributor Loading…
1
4
feat(GreensOpenProblems): 42 green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#3990 opened May 11, 2026 by jeangud Contributor Loading…
1
6
ErdosProblems/1 least_N_5: prove via {3,6,11,12,13} witness awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems
#3983 opened May 10, 2026 by mrmartin Loading…
5
Add Erdős 1151 scalar variant formal proof link erdos-problems Erdős Problems
#3978 opened May 10, 2026 by AllenGrahamHart Contributor Loading…
1
4
Add Erdős 953 upper-bound formal proof link erdos-problems Erdős Problems
#3977 opened May 10, 2026 by AllenGrahamHart Contributor Loading…
1
3
feat(ErdosProblems): 1109 erdos-problems Erdős Problems
#3975 opened May 10, 2026 by SproutSeeds Contributor • Draft
1
feat(Erdos/987) formalize solution for problem 987 erdos-problems Erdős Problems
#3972 opened May 10, 2026 by Marti2203 Loading…
1
3
Bing borsuk conjecture wikipedia
#3968 opened May 9, 2026 by Sfgangloff Contributor Loading…
1
2
feat: Green's Open Problem 43 green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#3964 opened May 9, 2026 by Sfgangloff Contributor Loading…
1
3
Conjecture on spectral sets awaiting-author The author should answer a question or perform changes. Reply when done. wikipedia
#3963 opened May 9, 2026 by Sfgangloff Contributor Loading…
2
Mazur conjecture green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf wikipedia
#3960 opened May 8, 2026 by Sfgangloff Contributor Loading…
1
4
feat(ErdosProblems/114): add finite n <= 14 EHP certificate variant erdos-problems Erdős Problems
#3958 opened May 8, 2026 by bengoechea Contributor Loading…
1
3
feat(ErdosProblems): 96 erdos-problems Erdős Problems
#3936 opened May 5, 2026 by flound1129 Loading…
1
3
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.