Skip to content

Pull requests: google-deepmind/formal-conjectures

New pull request New
96 Open 1,029 Closed
96 Open 1,029 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): 254 erdos-problems Erdős Problems
#2418 opened Feb 27, 2026 by danielchin Loading…
1
feat(ErdosProblems/263): update status for erdos_263.parts.ii erdos-problems Erdős Problems
#2417 opened Feb 27, 2026 by mo271 Loading…
fix(ErdosProblems): Standardize Erdos Problem Theorems (part 1) erdos-problems Erdős Problems
#2416 opened Feb 27, 2026 by danielchin Loading…
feat(Wikipedia): add Lychrel numbers (base 10) wikipedia
#2415 opened Feb 26, 2026 by Robertboy18 Loading…
1
solve(ErdosProblems): piepmeyer in 100 erdos-problems Erdős Problems
#2406 opened Feb 26, 2026 by theaustinhatfield Loading…
2
feat(ErdosProblems/125): add two variants to erdos_125 erdos-problems Erdős Problems
#2404 opened Feb 25, 2026 by Paul-Lez Loading…
1
2
Feat(Wikipedia): Catalan-Dickson Conjecture wikipedia
#2403 opened Feb 25, 2026 by bishopmje Loading…
feat(Wikipedia): add ERH for Dedekind zeta wikipedia
#2402 opened Feb 25, 2026 by Robertboy18 Loading…
6
feat(EquationalTheories_677_255): prove Finite.Equation255_not_implies_Equation677
#2401 opened Feb 25, 2026 by pitmonticone Loading…
3
feat(ErdosProblems/686): prove a solved variant and add some open variants erdos-problems Erdős Problems
#2398 opened Feb 25, 2026 by mzhorvath1 Loading…
feat(Papers): Add Monochromatic Quantum Graph conjectures
#2385 opened Feb 23, 2026 by MarioKrenn6240 Loading…
1
14
feat(scripts): dump theorem names and metadata to json
#2384 opened Feb 23, 2026 by mo271 Loading…
feat(GreensOpenProblems): 29 green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#2382 opened Feb 23, 2026 by jeangud Loading…
1
feat(GreensOpenProblems): 28 green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#2380 opened Feb 22, 2026 by jeangud Loading…
1
feat(GreensOpenProblems): 27 green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#2379 opened Feb 21, 2026 by jeangud Loading…
1
feat(Millennium): Add Riemann Hypothesis (from Mathlib) awaiting-author The author should answer a question or perform changes. Reply when done. millenium-problems Clay Maths Institute Millenium Problems wikipedia
#2378 opened Feb 21, 2026 by franzhusch Loading…
12
chore(FormalConjectureForMathlib): module-ize
#2367 opened Feb 20, 2026 by mo271 Loading…
49
feat(ErdosProblems): 400 erdos-problems Erdős Problems
#2366 opened Feb 20, 2026 by danielchin Loading…
1
11
feat(ErdosProblems): 323 erdos-problems Erdős Problems
#2359 opened Feb 19, 2026 by danielchin Loading…
1
3
chore: bump mathlib to v4.28.0 arxiv erdos-problems Erdős Problems green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf linter mathoverflow oeis Conjectures from oeis.org wikipedia
#2356 opened Feb 18, 2026 by YaelDillies • Draft
feat(Wikipedia): Taxicab(5, 2, n) for n > 1 wikipedia
#2333 opened Feb 18, 2026 by parabamoghv Loading…
1
10
feat(FormalConjectures/Millenium): Poincaré conjecture millenium-problems Clay Maths Institute Millenium Problems
#2330 opened Feb 17, 2026 by Paul-Lez Loading…
1
2
feat(FormalConjectures/Util/Linters): ExistsImplication linter linter
#2329 opened Feb 17, 2026 by Paul-Lez Loading…
1
2
feat(CI): handle multi-part Erdős problems in status check
#2327 opened Feb 17, 2026 by zond Loading…
8
feat(GreensOpenProblems): 25 green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#2326 opened Feb 16, 2026 by jeangud Loading…
1
4
ProTip! no:milestone will show everything without a milestone.