FormalizationCombinatoricsErdős #974
Erdős problem #974
Formalization of an existing proof. Contribution type: Formalization.
LFCR
Frontier
New proofs, counterexamples, bounds and formalizations reported by people and AI systems, newest first.
April 2026 39
FormalizationCombinatoricsErdős #844
Erdős problem #844
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #427
Erdős problem #427
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #818
Erdős problem #818
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #1098
Erdős problem #1098
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #760
Erdős problem #760
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #24
Erdős problem #24
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #296
Erdős problem #296
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #259
Erdős problem #259
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #178
Erdős problem #178
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #923
Erdős problem #923
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #658
Erdős problem #658
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #426
Erdős problem #426
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #775
Erdős problem #775
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #621
Erdős problem #621
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #519
Erdős problem #519
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #1136
Erdős problem #1136
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #904
Erdős problem #904
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #280
Erdős problem #280
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #1196
Erdős problem #1196
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #1121
Erdős problem #1121
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #914
Erdős problem #914
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #540
Erdős problem #540
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #484
Erdős problem #484
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #194
Erdős problem #194
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #753
Erdős problem #753
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #258
Erdős problem #258
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #268
Erdős problem #268
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #1193
Erdős problem #1193
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #1141
Erdős problem #1141
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #1125
Erdős problem #1125
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #990
Erdős problem #990
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #907
Erdős problem #907
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #905
Erdős problem #905
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #867
Erdős problem #867
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #237
Erdős problem #237
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #692
Erdős problem #692
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #997
Erdős problem #997
Formalization of an existing proof. Contribution type: Formalization.
LFCR
FormalizationCombinatoricsErdős #314
Erdős problem #314
Formalization of an existing proof. Contribution type: Formalization.
LFCR
March 2026 1
FormalizationCombinatoricsErdős #150
Erdős problem #150
Formalization of an existing proof. Contribution type: Formalization.
LFCR