Skip to content

Pull requests: google-deepmind/formal-conjectures

New pull request New
280 Open 2,933 Closed
280 Open 2,933 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

Mark OEIS A112970 conjectures as solved oeis Conjectures from oeis.org
#4960 opened Aug 15, 2026 by KitaKen1 Contributor Loading…
1
Mark OEIS A105801 as solved oeis Conjectures from oeis.org
#4959 opened Aug 15, 2026 by KitaKen1 Contributor Loading…
Mark OEIS A105565 as solved oeis Conjectures from oeis.org
#4958 opened Aug 15, 2026 by HaigAd Loading…
1
Mark OEIS A108306 as solved oeis Conjectures from oeis.org
#4957 opened Aug 15, 2026 by KitaKen1 Contributor • Queued
1
feat: formalize the Lennon–Pittel stable matchings conjecture for-mathlib touching our `FormalConjecturesForMathlib` dir paper
#4955 opened Aug 15, 2026 by bocowgill Contributor Loading…
1
1
Mark OEIS A100478 as solved oeis Conjectures from oeis.org
#4954 opened Aug 15, 2026 by KitaKen1 Contributor • Queued
1
disprove(OEIS): resolve A113019 fixed-point conjecture oeis Conjectures from oeis.org
#4953 opened Aug 14, 2026 by KitaKen1 Contributor • Queued
2
Generate a comparator workspace from any problem statement CI documentation Improvements or additions to documentation
#4951 opened Aug 14, 2026 by williamjblair Collaborator • Draft
feat: add "optimization_constant" attribute attributes
#4950 opened Aug 14, 2026 by BoltonBailey Contributor Loading…
1
feat: add optimization_constant attribute and tag existing formalisations attributes erdos-problems Erdős Problems green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf optimization-constants wikipedia
#4949 opened Aug 14, 2026 by BoltonBailey Contributor • Draft
2
feat(OEIS/README): refine documentation Improvements or additions to documentation oeis Conjectures from oeis.org
#4947 opened Aug 14, 2026 by mo271 Collaborator Loading…
feat(OEIS) 45 conjectures from auto_oeis oeis Conjectures from oeis.org
#4946 opened Aug 14, 2026 by mo271 Collaborator Loading…
Mark Erdős Problem 361 asymptotic variant as solved erdos-problems Erdős Problems
#4944 opened Aug 14, 2026 by KitaKen1 Contributor Loading…
Mark qualitative upper bounds for Green 37 as solved green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#4943 opened Aug 13, 2026 by KitaKen1 Contributor Loading…
GreensOpenProblems/72: ask Green's question rather than assert its opposite green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#4941 opened Aug 13, 2026 by williamjblair Collaborator Loading…
ErdosProblems/918: ω is the fixed ordinal, not a variable erdos-problems Erdős Problems
#4940 opened Aug 13, 2026 by williamjblair Collaborator Loading…
Paper/ClaudesCycles: the even case is settled in the revised source paper
#4935 opened Aug 13, 2026 by williamjblair Collaborator Loading…
ErdosProblems/939: positivity, the answered triples question, and a misquoted identity erdos-problems Erdős Problems
#4934 opened Aug 13, 2026 by williamjblair Collaborator Loading…
WrittenOnTheWallII: disprove conjecture 309 written-on-the-wall-ii
#4932 opened Aug 13, 2026 by Kuberwastaken Contributor Loading…
1
feat(site): move WIP banner to comments and votes section website
#4928 opened Aug 13, 2026 by mo271 Collaborator Loading…
1
Mark Erdős Problem 357 lower Big-O variant as solved erdos-problems Erdős Problems
#4918 opened Aug 13, 2026 by KitaKen1 Contributor Loading…
WrittenOnTheWallII: prove conjecture 438b written-on-the-wall-ii
#4916 opened Aug 12, 2026 by Kuberwastaken Contributor Loading…
1
@Danie-I
WrittenOnTheWallII: disprove conjecture 430a written-on-the-wall-ii
#4913 opened Aug 12, 2026 by Kuberwastaken Contributor Loading…
1
@Danie-I
WrittenOnTheWallII: disprove conjecture 176 written-on-the-wall-ii
#4911 opened Aug 12, 2026 by Kuberwastaken Contributor Loading…
1
@Danie-I
WrittenOnTheWallII: disprove conjecture 172 written-on-the-wall-ii
#4909 opened Aug 12, 2026 by Kuberwastaken Contributor Loading…
1
@Danie-I
ProTip! no:milestone will show everything without a milestone.