-
Notifications
You must be signed in to change notification settings - Fork 317
Pull requests: google-deepmind/formal-conjectures
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Removed duplicite boundaryVertices definition
#4284
opened Jun 17, 2026 by
Danie-I
Collaborator
Loading…
feat(GreensOpenProblems): 51
green-problems
Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#4283
opened Jun 17, 2026 by
jeangud
Collaborator
Loading…
fix(NumberTheory/Carmichael): definition and import
wikipedia
#4281
opened Jun 17, 2026 by
mo271
Collaborator
Loading…
feat(Arxiv/2507.17780): refute TxGraffiti Conjecture 4
arxiv
#4278
opened Jun 16, 2026 by
ChakshuGupta13
Contributor
Loading…
Add formalisation of Erdos Problem 448
erdos-problems
Erdős Problems
#4274
opened Jun 16, 2026 by
hbakkaoui-hash
Loading…
fix(GreensOpenProblems/72): add Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
misformalization
2 < k
green-problems
#4271
opened Jun 15, 2026 by
mo271
Collaborator
Loading…
feat(Paper): three-sunflower-free set systems
#4268
opened Jun 14, 2026 by
SproutSeeds
Contributor
Loading…
Erdős 307: add a machine-checked barrier (lower bound)
erdos-problems
Erdős Problems
#4260
opened Jun 14, 2026 by
ElVec1o
Loading…
Formalise Erdős Problem 1208 (distinct-distance subsets)
erdos-problems
Erdős Problems
#4258
opened Jun 13, 2026 by
Lumantis
Loading…
feat(OEIS/80170): mark conjecture as solved
awaiting-author
The author should answer a question or perform changes. Reply when done.
oeis
Conjectures from oeis.org
#4253
opened Jun 12, 2026 by
guodk
Loading…
feat(ErdosProblems): add problems 22 and 615 (Ramsey–Turán theory for K₄)
erdos-problems
Erdős Problems
#4249
opened Jun 12, 2026 by
henrykmichalewski
Member
Loading…
feat(Wikipedia): add Erdős–Hanani conjecture on asymptotic packings and coverings
awaiting-author
The author should answer a question or perform changes. Reply when done.
wikipedia
#4248
opened Jun 12, 2026 by
henrykmichalewski
Member
Loading…
feat(ErdosProblems/1052): link the 24-digit unitary-perfect proof via formal_proof
awaiting-author
The author should answer a question or perform changes. Reply when done.
erdos-problems
Erdős Problems
#4244
opened Jun 11, 2026 by
Sanexxxx777
Contributor
Loading…
Add Spencer's six-standard-deviations theorem (set-system discrepancy)
wikipedia
#4243
opened Jun 11, 2026 by
henrykmichalewski
Member
Loading…
Erdős 944: machine-checked cores for the k=4, r=1 six-regular subproblem
erdos-problems
Erdős Problems
#4237
opened Jun 11, 2026 by
AlperTheKing
Contributor
Loading…
feat(ErdosProblems/165): asymptotics of the off-diagonal Ramsey number R(3,k)
erdos-problems
Erdős Problems
#4236
opened Jun 11, 2026 by
henrykmichalewski
Member
Loading…
ErdosProblems/349: entire-completeness single-gap criterion and the band [5/3, 2)
erdos-problems
Erdős Problems
#4235
opened Jun 11, 2026 by
cepadugato
Contributor
Loading…
ErdosProblems/349: (3/2, 2) is not a good pair (mod-3 obstruction)
erdos-problems
Erdős Problems
#4234
opened Jun 11, 2026 by
cepadugato
Contributor
Loading…
ErdosProblems/349: integer characterization and dyadic fiber (partial results)
erdos-problems
Erdős Problems
#4233
opened Jun 11, 2026 by
cepadugato
Contributor
Loading…
Erdős Problem 61: add P₅ and C₅ solved variants (Erdős–Hajnal conjecture)
erdos-problems
Erdős Problems
wikipedia
#4232
opened Jun 11, 2026 by
henrykmichalewski
Member
Loading…
Add Caccetta–Häggkvist conjecture (directed cycles vs minimum out-degree)
wikipedia
#4231
opened Jun 11, 2026 by
henrykmichalewski
Member
Loading…
Add Komlós conjecture (vector balancing / discrepancy)
wikipedia
#4230
opened Jun 11, 2026 by
henrykmichalewski
Member
Loading…
Add Erdős Problem 597 (ω₁² → (ω₁·ω, G)² for K₄-free graphs G)
erdos-problems
Erdős Problems
#4228
opened Jun 10, 2026 by
henrykmichalewski
Member
Loading…
Add Erdős Problem 594 (graphs of uncountable chromatic number contain all large odd cycles)
erdos-problems
Erdős Problems
#4227
opened Jun 10, 2026 by
henrykmichalewski
Member
Loading…
feat(ErdosProblems/872): primitive set game length statements
awaiting-author
The author should answer a question or perform changes. Reply when done.
erdos-problems
Erdős Problems
#4226
opened Jun 10, 2026 by
walkthroughwonder
Loading…
4 tasks done
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.