Skip to content

Pull requests: google-deepmind/formal-conjectures

New pull request New
74 Open 913 Closed
74 Open 913 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(ErdosProblems/1084): le not lt in IsSeparated erdos-problems Erdős Problems misformalization
#2039 opened Feb 2, 2026 by mo271 Loading…
feat(ErdosProblems): 32 erdos-problems Erdős Problems
#2038 opened Feb 2, 2026 by rwst Loading…
1
fix(ErdosProblems/99): IsMinOn footgun erdos-problems Erdős Problems misformalization
#2019 opened Feb 2, 2026 by mo271 Loading…
fix(ErdosProblems/741): missing summands erdos-problems Erdős Problems misformalization
#2016 opened Feb 2, 2026 by mo271 Loading…
fix(ErdosProblems): B should be a subset in 346 erdos-problems Erdős Problems misformalization
#2013 opened Feb 2, 2026 by smmercuri Loading…
7
feat(ErdosProblems): 1150 erdos-problems Erdős Problems
#2012 opened Feb 2, 2026 by Karanjot786 Loading…
1
1
feat(ErdosProblems): 1144 erdos-problems Erdős Problems
#2007 opened Feb 2, 2026 by Karanjot786 Loading…
1
1
feat(ErdosProblems): 1176 erdos-problems Erdős Problems
#2006 opened Feb 2, 2026 by danielchin Loading…
1
1
feat(GreensOpenProblems): 14 green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#2005 opened Feb 1, 2026 by jeangud Loading…
1
2
feat(ErdosProblems): 920 erdos-problems Erdős Problems
#2004 opened Feb 1, 2026 by danielchin Loading…
1
feat(Linter): catch dubious usages of answer(sorry) erdos-problems Erdős Problems linter oeis Conjectures from oeis.org
#1958 opened Jan 31, 2026 by mo271 Loading…
1
feat(GreensOpenProblems): 12 green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#1957 opened Jan 31, 2026 by jeangud Loading…
1
2
feat(ErdosProblems): 18 erdos-problems Erdős Problems
#1952 opened Jan 31, 2026 by rwst Loading…
1
40
feat(GreensOpenProblems): 9 green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#1944 opened Jan 31, 2026 by jeangud Loading…
1
9
chore: mention formal solution to Boxdot in the attribute arxiv awaiting-author The author should answer a question or perform changes. Reply when done.
#1934 opened Jan 29, 2026 by Paul-Lez Loading…
3
update solution status for Erdős 847 erdos-problems Erdős Problems
#1927 opened Jan 29, 2026 by mo271 Loading…
2
update solution status for Erdős 705 erdos-problems Erdős Problems
#1926 opened Jan 29, 2026 by mo271 Loading…
1
feat(OEIS) add theorem and conjecture for A357513 oeis Conjectures from oeis.org
#1924 opened Jan 29, 2026 by mo271 Loading…
1
Kourovka Problem 19.25 kourovka Problems from the Kourovka notebook: https://arxiv.org/pdf/1401.0300
#1923 opened Jan 29, 2026 by mo271 Loading…
4
fix(OEIS/41): answer(sorry) position misformalization
#1922 opened Jan 28, 2026 by mo271 Loading…
2
Add Kourovka notebook to problem lists section
#1907 opened Jan 28, 2026 by mo271 Loading…
1
Add problem 20.76 from Kourovka notebook. kourovka Problems from the Kourovka notebook: https://arxiv.org/pdf/1401.0300
#1906 opened Jan 28, 2026 by robryk Loading…
4
feat(ErdosProblems): 1145 erdos-problems Erdős Problems
#1904 opened Jan 28, 2026 by danielchin Loading…
8
feat(ErdosProblems): 261 awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems
#1902 opened Jan 28, 2026 by CoolRmal Loading…
1
14
feat: add optimization constants
#1899 opened Jan 27, 2026 by felixpernegger Loading…
9
ProTip! Updated in the last three days: updated:>2026-01-30.