Skip to content

Pull requests: google-deepmind/formal-conjectures

New pull request New
51 Open 700 Closed
51 Open 700 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/567): Ramsey size linearity of Q3, K33, H5 erdos-problems Erdős Problems
#1575 opened Jan 8, 2026 by ruskaruma Loading…
1
1
fix(ErdosProblems/289) erdos-problems Erdős Problems
#1574 opened Jan 8, 2026 by CoolRmal Loading…
1
fix(ErdosProblems/33) erdos-problems Erdős Problems
#1573 opened Jan 8, 2026 by CoolRmal Loading…
1
feat(OEIS): add solved conjecture for 358684 awaiting-author The author should answer a question or perform changes. Reply when done. oeis Conjectures from oeis.org
#1572 opened Jan 8, 2026 by mo271 Loading…
3
feat(OEIS/306477): the 2-4-6-8 Conjecture ams-11: Number theory awaiting-author The author should answer a question or perform changes. Reply when done. oeis Conjectures from oeis.org
#1570 opened Jan 8, 2026 by jdhruv555 Loading…
1
6
feat(ErdosProblems): 1068 ams-05: Combinatorics awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems
#1568 opened Jan 8, 2026 by danielchin Loading…
1
2
fix(ErdosProblems/480): typo ams-11: Number theory awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems misformalization
#1540 opened Jan 7, 2026 by mo271 Loading…
1
1
feat(ErdosProblems): 683 ams-11: Number theory awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems
#1533 opened Jan 7, 2026 by seewoo5 Loading…
1
6
fix(Wikipedia/WallSunSun): assume the discriminant is 0 or 1 mod 4 ams-11: Number theory awaiting-author The author should answer a question or perform changes. Reply when done. misformalization wikipedia
#1528 opened Jan 7, 2026 by mo271 Loading…
2
fix(ErdosProblems/859): make density vary in t ams-11: Number theory erdos-problems Erdős Problems misformalization
#1524 opened Jan 7, 2026 by mo271 Loading…
1
4
fix(ErdosProblems/659): make asymptotic ams-52: Convex and discrete geometry awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems misformalization
#1522 opened Jan 7, 2026 by mo271 Loading…
3
chore(ErdosProblems/1064): mark as solved ams-11: Number theory awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems
#1515 opened Jan 7, 2026 by mo271 Loading…
1
feat: Add K3 verification for Conjecture 19
#1511 opened Jan 6, 2026 by henrykmichalewski Loading…
5
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…
9
feat(ErdosProblems): 375 ams-11: Number theory erdos-problems Erdős Problems wikipedia
#1497 opened Jan 5, 2026 by CoolRmal Loading…
1
15
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…
9
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…
17
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…
8
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
ProTip! Type g i on any issue or pull request to go back to the issue listing page.