Skip to content

Pull requests: google-deepmind/formal-conjectures

New pull request New
37 Open 643 Closed
37 Open 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): 1092
#1443 opened Jan 1, 2026 by Solventerritory Loading…
1
feat(ErdosProblems): 387 ams-11: Number theory awaiting-author The author should answer a question or perform changes. Reply when done. Erdős Problems
#1441 opened Jan 1, 2026 by CoolRmal Loading…
1
3
feat(ErdosProblems): 252 ams-11: Number theory awaiting-author The author should answer a question or perform changes. Reply when done. Erdős Problems
#1440 opened Dec 31, 2025 by CoolRmal Loading…
1
3
chore: switch to lakefile.toml
#1435 opened Dec 30, 2025 by YaelDillies Loading…
@eric-wieser
3
feat(ErdosProblems): 906 ams-30: Functions of a complex variable awaiting-author The author should answer a question or perform changes. Reply when done. Erdős Problems
#1431 opened Dec 30, 2025 by CoolRmal Loading…
1
5
feat(ErdosProblems): 835 ams-05: Combinatorics Erdős Problems
#1428 opened Dec 29, 2025 by YaelDillies Loading…
feat(ErdosProblems/124): more statements ams-11: Number theory 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
Tensor networks wip WIP
#1398 opened Dec 18, 2025 by robinsong2 Loading…
@Paul-Lez @robinsong2
1
Erdős Problem 82 awaiting-author The author should answer a question or perform changes. Reply when done. 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
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
Add 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
feat(ErdosProblems): 602 awaiting-author The author should answer a question or perform changes. Reply when done. Erdős Problems
#1357 opened Dec 7, 2025 by SuccessMoses Loading…
1
6
Erdos 784 awaiting-author The author should answer a question or perform changes. Reply when done. Erdős Problems
#1354 opened Dec 6, 2025 by SrijanRoy123-github Loading…
1
1
Add Erdős Problem 810 (dense graphs with C4 rainbow colorings) awaiting-author The author should answer a question or perform changes. Reply when done. Erdős Problems
#1352 opened Dec 6, 2025 by SrijanRoy123-github Loading…
1
Add SL4 lattice over LaurentSeries and Huang–Shi Theorem 1.2 statement awaiting-author The author should answer a question or perform changes. Reply when done.
#1336 opened Dec 4, 2025 by hanjiadong0 Loading…
7
feat: add Erdős Problem 613 formulation awaiting-author The author should answer a question or perform changes. Reply when done. Erdős Problems
#1308 opened Nov 30, 2025 by aborregop2 Loading…
4
Erdos 1079 awaiting-author The author should answer a question or perform changes. Reply when done. Erdős Problems
#1281 opened Nov 28, 2025 by Karanjot786 Loading…
1
1
feat: define tensor networks and tensor contraction WIP
#1272 opened Nov 24, 2025 by Paul-Lez Loading…
feat(ErdosProblems): 1035, hypercube conjecture awaiting-author The author should answer a question or perform changes. Reply when done. Erdős Problems
#1271 opened Nov 24, 2025 by Karanjot786 Loading…
1
3
Add Reed's omega, delta, and chi conjecture ams-05: Combinatorics awaiting-author The author should answer a question or perform changes. Reply when done.
#1264 opened Nov 22, 2025 by edwag Loading…
17
add github action + checker to updates on erdos problem pages awaiting-author The author should answer a question or perform changes. Reply when done.
#1258 opened Nov 22, 2025 by ayushman1210 Loading…
3
ProTip! no:milestone will show everything without a milestone.