-
Notifications
You must be signed in to change notification settings - Fork 384
Pull requests: google-deepmind/formal-conjectures
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
WrittenOnTheWallII: add formal proof link for Graph Conjecture 1
written-on-the-wall-ii
#4611
opened Jul 24, 2026 by
MiskinAleksandr23
Loading…
feat(Paper/MonochromaticQuantumGraph): solve eqSystem6_no_solution_d3
paper
#4610
opened Jul 24, 2026 by
algal
Loading…
fix(Kourovka/19.25): add missing same-order hypothesis
kourovka
Problems from the Kourovka notebook: https://arxiv.org/pdf/1401.0300
#4607
opened Jul 24, 2026 by
jsnider3
Loading…
fix(ErdosProblems/128): quantify all dense induced subgraphs
erdos-problems
Erdős Problems
#4606
opened Jul 24, 2026 by
Kuberwastaken
Loading…
fix(GreensOpenProblems/31): formalise binary Sidon sums
green-problems
Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#4605
opened Jul 24, 2026 by
Kuberwastaken
Loading…
Added continuous version of Sidorenko conjecture and some variants.
for-mathlib
touching our `FormalConjecturesForMathlib` dir
wikipedia
#4603
opened Jul 24, 2026 by
Danie-I
Collaborator
Loading…
fix(WrittenOnTheWallII/18): use dist_max(M), not set eccentricity
for-mathlib
touching our `FormalConjecturesForMathlib` dir
written-on-the-wall-ii
#4602
opened Jul 24, 2026 by
anagnorisis2peripeteia
Contributor
Loading…
feat(WOWII): mark Conjecture 198a solved
written-on-the-wall-ii
#4597
opened Jul 23, 2026 by
lukekabbash
Loading…
fix(Other): use integer-valued sequences for Beaver Math Olympiad 8
other
use for changes in the `FormalConjectures/Other` directory
#4594
opened Jul 23, 2026 by
DomTheDeveloper
Contributor
Loading…
Disprove WOWII Conjectures 63 and 85
for-mathlib
touching our `FormalConjecturesForMathlib` dir
written-on-the-wall-ii
#4592
opened Jul 23, 2026 by
Kuberwastaken
Loading…
ErdosProblems 450, 538, 959: Star Fleet Math proved bounds (open headline + solved companion)
erdos-problems
Erdős Problems
#4588
opened Jul 23, 2026 by
williamjblair
Contributor
•
Draft
ErdosProblems 486, 788: ShouqiaoW formal_proof links (486 statement correction)
erdos-problems
Erdős Problems
#4587
opened Jul 23, 2026 by
williamjblair
Contributor
•
Draft
Formalize both parts of Erdős Problem 1131
erdos-problems
Erdős Problems
#4585
opened Jul 23, 2026 by
seanm27lol
Loading…
feat(GreensOpenProblems/14): mark W(3,20) lower bound solved
green-problems
Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#4584
opened Jul 23, 2026 by
DomTheDeveloper
Contributor
Loading…
Certify the disproof of WOWII Conjecture 59 with an 18-vertex witness
written-on-the-wall-ii
#4583
opened Jul 23, 2026 by
anagnorisis2peripeteia
Contributor
Loading…
Adding Gaussian Moments Conjecture in dimension two
arxiv
#4580
opened Jul 23, 2026 by
murrellb
Loading…
ErdosProblems 130 254 394 489 521 769 796 1188: Star Fleet Math formal_proof links (resolutions)
erdos-problems
Erdős Problems
#4578
opened Jul 23, 2026 by
williamjblair
Contributor
•
Draft
fix(ErdosProblems/424,822): use lower density for "positive density"
erdos-problems
Erdős Problems
#4577
opened Jul 23, 2026 by
kid-ye
Loading…
Mark WOWII Conjecture 160 solved
written-on-the-wall-ii
#4576
opened Jul 23, 2026 by
anagnorisis2peripeteia
Contributor
Loading…
Certify the known disproof of WOWII Conjecture 36
for-mathlib
touching our `FormalConjecturesForMathlib` dir
written-on-the-wall-ii
#4572
opened Jul 23, 2026 by
anagnorisis2peripeteia
Contributor
Loading…
Submit/oeis a263135 solved clean
oeis
Conjectures from oeis.org
#4571
opened Jul 23, 2026 by
DomTheDeveloper
Contributor
Loading…
Previous Next
ProTip!
Filter pull requests by the default branch with base:main.