Skip to content

Pull requests: google-deepmind/formal-conjectures

New pull request New
138 Open 2,257 Closed
138 Open 2,257 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

fix(linting): Remove unused simp arguments
#3822 opened Apr 22, 2026 by jeangud Contributor Loading…
Add 27 WOWII named graph-invariant files (batches 3-9, part 2/2)
#3821 opened Apr 22, 2026 by henrykmichalewski Member Loading…
Add 22 WOWII numbered conjectures (batches 3-9, part 1/2)
#3820 opened Apr 22, 2026 by henrykmichalewski Member Loading…
feat(ErdosProblems): 279 erdos-problems Erdős Problems
#3817 opened Apr 22, 2026 by zachary-feng Loading…
1
feat: Banach Mazur Rotation Problem arxiv
#3816 opened Apr 22, 2026 by CoolRmal Collaborator Loading…
feat(Paper): Zagier Conjecture
#3815 opened Apr 22, 2026 by jeangud Contributor Loading…
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…
1
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…
1
feat(ErdosProblems): 962 erdos-problems Erdős Problems
#3802 opened Apr 19, 2026 by HansleCho Loading…
1
1
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 z3_functional green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#3797 opened Apr 17, 2026 by mo271 Collaborator Loading…
3
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…
1
Add Erdős Problem 1172 (partition relations under GCH) erdos-problems Erdős Problems
#3793 opened Apr 17, 2026 by henrykmichalewski Member Loading…
1
Add Erdős Problem 1168 (ℵ_{ω+1} partition without GCH) erdos-problems Erdős Problems
#3792 opened Apr 17, 2026 by henrykmichalewski Member Loading…
1
Add Erdős Problem 1167 (stepping-down partition relation) erdos-problems Erdős Problems
#3791 opened Apr 17, 2026 by henrykmichalewski Member Loading…
1
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…
1
Add Erdős Problem 1171 (ω₁² multicolor partition) erdos-problems Erdős Problems
#3789 opened Apr 17, 2026 by henrykmichalewski Member Loading…
1
7
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…
1
Add Erdős Problem 524 (Salem–Zygmund sup norm) erdos-problems Erdős Problems
#3787 opened Apr 17, 2026 by kieranmcshane Loading…
1
1
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…
1
ProTip! Updated in the last three days: updated:>2026-04-19.