Skip to content

Pull requests: google-deepmind/formal-conjectures

New pull request New
176 Open 2,643 Closed
176 Open 2,643 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(ErdosProblems): formalise Erdős problem 667 erdos-problems Erdős Problems
#4370 opened Jul 1, 2026 by hbakkaoui-hash Contributor Loading…
1
ErdosProblems: add 24, 93, 164, 314, 315, 333, 369, 401, 429, 435 (#3998 sync) erdos-problems Erdős Problems
#4369 opened Jul 1, 2026 by williamjblair Contributor • Draft
1
Add @[proof_condition] attribute for conditional formal proofs wikipedia
#4368 opened Jul 1, 2026 by williamjblair Contributor • Draft
1
feat(tooling): implement auto-fixer for Erdos statuses and automate via GitHub Actions erdos-problems Erdős Problems
#4367 opened Jul 1, 2026 by Paramveersingh-S Loading…
2 tasks done
1
feat(ErdosProblems): 1053 erdos-problems Erdős Problems
#4366 opened Jul 1, 2026 by danielchin Collaborator Loading…
1
1
feat(Wikipedia): add Scholz conjecture wikipedia
#4365 opened Jul 1, 2026 by eyang07 Contributor Loading…
1
2
feat(GreensOpenProblems/64): formalize Ω(p-2) odd infinitude question green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#4364 opened Jul 1, 2026 by Sanexxxx777 Contributor Loading…
1
2
feat(ErdosProblems/36): prove M_four and M_five (M 4 = 2, M 5 = 3) erdos-problems Erdős Problems
#4363 opened Jul 1, 2026 by Sanexxxx777 Contributor Loading…
1
feat(ErdosProblems/36): prove M_three (M 3 = 2) erdos-problems Erdős Problems
#4362 opened Jul 1, 2026 by Sanexxxx777 Contributor Loading…
1
feat(ErdosProblems/418): state the Odd Noncototient Conjecture erdos-problems Erdős Problems
#4361 opened Jul 1, 2026 by Sanexxxx777 Contributor Loading…
1
2
feat(ErdosProblems/1052): link the fast proof of isUnitaryPerfect_87360 erdos-problems Erdős Problems
#4360 opened Jul 1, 2026 by Sanexxxx777 Contributor Loading…
1
Fix Erdős 686 four_three docstring erdos-problems Erdős Problems
#4359 opened Jun 29, 2026 by williamjblair Contributor • Draft
1
chore: bump to v4.31.0 arxiv erdos-problems Erdős Problems linter mathoverflow millenium-problems Clay Maths Institute Millenium Problems oeis Conjectures from oeis.org wikipedia
#4356 opened Jun 29, 2026 by YaelDillies Member • Draft
1
Add survey-backed Erdős formalizations erdos-problems Erdős Problems
#4354 opened Jun 29, 2026 by Vilin97 Loading…
6
feat(ErdosProblems): 933 erdos-problems Erdős Problems
#4353 opened Jun 29, 2026 by danielchin Collaborator Loading…
1
1
feat(ErdosProblems): 955 erdos-problems Erdős Problems
#4352 opened Jun 28, 2026 by danielchin Collaborator Loading…
1
1
feat(ErdosProblems): 821 erdos-problems Erdős Problems
#4351 opened Jun 27, 2026 by danielchin Collaborator Loading…
1
1
feat: Add gnu conjectures awaiting-author The author should answer a question or perform changes. Reply when done. kourovka Problems from the Kourovka notebook: https://arxiv.org/pdf/1401.0300
#4348 opened Jun 27, 2026 by ldct Contributor Loading…
3
ErdosProblems: add 281, 419, 453, 476, 519, 540 (#3998 sync) awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems
#4346 opened Jun 27, 2026 by williamjblair Contributor Loading…
1
9
ErdosProblems: add 31, 34, 47, 280 (#3998 sync) erdos-problems Erdős Problems
#4345 opened Jun 27, 2026 by williamjblair Contributor Loading…
1
2
ErdosProblems: add 199, 224, 226, 246, 296, 363 (#3998 sync) erdos-problems Erdős Problems
#4343 opened Jun 27, 2026 by williamjblair Contributor Loading…
9
feat(ErdosProblems/221): add additive basis 2^k + a statement awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems
#4338 opened Jun 26, 2026 by williamjblair Contributor Loading…
4
feat(Papers/DeGiorgi): De Giorgi's conjecture awaiting-author The author should answer a question or perform changes. Reply when done.
#4323 opened Jun 25, 2026 by jvanwinden Loading…
9
feat(Erdos/372): add largest prime factor chain statement erdos-problems Erdős Problems
#4316 opened Jun 24, 2026 by bengoechea Contributor Loading…
1
feat(Erdos/175): add central binomial squarefree statement erdos-problems Erdős Problems
#4315 opened Jun 24, 2026 by bengoechea Contributor Loading…
1
ProTip! no:milestone will show everything without a milestone.