Skip to content

Pull requests: google-deepmind/formal-conjectures

New pull request New
47 Open 666 Closed
47 Open 666 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

CI: error on warning WIP Work in progress
#1508 opened Jan 6, 2026 by YaelDillies Loading…
chore: split prerequisites to a separate Lean library arxiv erdos-problems Erdős Problems green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf mathoverflow millenium-problems Clay Maths Institute Millenium Problems oeis Conjectures from oeis.org wikipedia
#1507 opened Jan 6, 2026 by YaelDillies Loading…
2
feat(OEIS/A281976): sum of four squares with square conditions ams-11: Number theory awaiting-author The author should answer a question or perform changes. Reply when done. oeis Conjectures from oeis.org
#1506 opened Jan 6, 2026 by jdhruv555 Loading…
1
1
fix(ErdosProblems): 1041 awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems misformalization
#1504 opened Jan 6, 2026 by mo271 Loading…
1
feat(ErdosProblems): 153 erdos-problems Erdős Problems WIP Work in progress
#1502 opened Jan 6, 2026 by CoolRmal • Draft
1
feat(ErdosProblems): 152 awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems
#1501 opened Jan 6, 2026 by CoolRmal Loading…
1
6
feat(ErdosProblems): 741 ams-05: Combinatorics awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems
#1500 opened Jan 6, 2026 by CoolRmal Loading…
1
4
feat(ErdosProblems): 495 ams-11: Number theory awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems
#1499 opened Jan 6, 2026 by danielchin Loading…
1
2
feat(ErdosProblems): 375 ams-11: Number theory awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems
#1497 opened Jan 5, 2026 by CoolRmal Loading…
1
4
feat: functions of elementary growth awaiting-author The author should answer a question or perform changes. Reply when done.
#1481 opened Jan 5, 2026 by CoolRmal Loading…
8
feat: some lemmas about (strongly) complete sequences WIP Work in progress
#1480 opened Jan 5, 2026 by CoolRmal Loading…
12
feat(OEIS): conjecture relating A080170 and A051283 ams-11: Number theory awaiting-author The author should answer a question or perform changes. Reply when done. oeis Conjectures from oeis.org
#1478 opened Jan 4, 2026 by Aditi0522 Loading…
3 tasks done
1
15
feat(Navier-Stokes): formalization of Navier–Stokes existence and smoothness ams-35: Partial differential equations awaiting-author The author should answer a question or perform changes. Reply when done. millenium-problems Clay Maths Institute Millenium Problems
#1457 opened Jan 3, 2026 by lecopivo Loading…
16
feat: Voronovskaja-type formula for the Bézier variant of the Bernstein operators awaiting-author The author should answer a question or perform changes. Reply when done.
#1444 opened Jan 2, 2026 by shamEiNew Loading…
6
feat(ErdosProblems): 1092 ams-05: Combinatorics awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems
#1443 opened Jan 1, 2026 by Solventerritory Loading…
1
2
feat(ErdosProblems): 835 ams-05: Combinatorics erdos-problems Erdős Problems
#1428 opened Dec 29, 2025 by YaelDillies Loading…
feat(ErdosProblems/124): more statements ams-11: Number theory erdos-problems Erdős Problems
#1420 opened Dec 27, 2025 by YaelDillies Loading…
feat: state results and conjectures on VCₘ dim of convex sets in ℝⁿ ams-05: Combinatorics ams-52: Convex and discrete geometry
#1408 opened Dec 23, 2025 by YaelDillies Loading…
feat(ErdosProblems): 847 awaiting-author The author should answer a question or perform changes. Reply when done.
#1400 opened Dec 18, 2025 by archiebrowne Loading…
1
3
feat: tensor networks WIP Work in progress
#1398 opened Dec 18, 2025 by robinsong2 Loading…
@Paul-Lez @robinsong2
1
feat(ErdosProblems): 82 awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems
#1395 opened Dec 15, 2025 by Mal-Pat Loading…
1
8
feat(ErdosProblems): 1088, Distinct Distances Conjecture in ℝᵈ awaiting-author The author should answer a question or perform changes. Reply when done.
#1386 opened Dec 13, 2025 by manastole03 Loading…
1
3
feat: Latin Tableau Conjecture awaiting-author The author should answer a question or perform changes. Reply when done.
#1385 opened Dec 13, 2025 by tchow12000-coder Loading…
11
feat(ErdosProblems): 1096 awaiting-author The author should answer a question or perform changes. Reply when done.
#1379 opened Dec 12, 2025 by anhhuyalex Loading…
1
5
feat: growth rate of groups and the Gap Conjecture awaiting-author The author should answer a question or perform changes. Reply when done.
#1366 opened Dec 8, 2025 by edwag Loading…
6
ProTip! Mix and match filters to narrow down what you’re looking for.