New proofCombinatoricsErdős #603
Erdős problem #603
Full solution. Contribution type: AI collaborating with humans.
LFCR
Frontier
New proofs, counterexamples, bounds and formalizations reported by people and AI systems, newest first.
April 2026 40
Partial resultCombinatoricsErdős #524
Erdős problem #524
Partial result. Contribution type: AI collaborating with humans.
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
Literature foundCombinatoricsErdős #602
Erdős problem #602
Related results found. Contribution type: Literature search.
LFCR
Partial resultCombinatoricsErdős #514
Erdős problem #514
Partial result (solutions to first part and second part). Contribution type: AI collaborating with humans.
LFCR
FormalizationCombinatoricsErdős #426
Erdős problem #426
Formalization of an existing proof. Contribution type: Formalization.
LFCR
Literature foundCombinatoricsErdős #1196
Erdős problem #1196
Tao (2026). Contribution type: Rewriting.
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
Partial resultCombinatoricsErdős #415
Erdős problem #415
Partial result. Contribution type: AI collaborating with humans.
LFCR
New proofCombinatoricsErdős #1195
Erdős problem #1195
Full solution. Contribution type: AI collaborating with humans.
LFCR
FormalizationCombinatoricsErdős #1136
Erdős problem #1136
Formalization of an existing proof. Contribution type: Formalization.
LFCR
Partial resultCombinatoricsErdős #1062
Erdős problem #1062
Partial result. Contribution type: AI collaborating with humans.
LFCR
FormalizationCombinatoricsErdős #904
Erdős problem #904
Formalization of an existing proof. Contribution type: Formalization.
LFCR
Partial resultCombinatoricsErdős #675
Erdős problem #675
Partial result. Contribution type: AI collaborating with humans.
LFCR
FormalizationCombinatoricsErdős #280
Erdős problem #280
Formalization of an existing proof. Contribution type: Formalization.
LFCR
Partial resultCombinatoricsErdős #976
Erdős problem #976
Conditional partial result. Contribution type: AI collaborating with humans.
LFCR
Partial resultCombinatoricsErdős #872
Erdős problem #872
Partial result. Contribution type: AI collaborating with humans.
LFCR
New proofCombinatoricsErdős #741
Erdős problem #741
Full solution (Lean). Contribution type: AI standalone.
LFCR
New proofCombinatoricsErdős #1217
Erdős problem #1217
Full solution. Contribution type: AI standalone.
LFCR
Literature foundCombinatoricsErdős #1198
Erdős problem #1198
Partial results found. Contribution type: Literature search.
LFCR
FormalizationCombinatoricsErdős #1196
Erdős problem #1196
Formalization of an existing proof. Contribution type: Formalization.
LFCR
New proofCombinatoricsErdős #1196
Erdős problem #1196
Full solution (stronger than literature). Contribution type: AI collaborating with humans.
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
New proofCombinatoricsErdős #858
Erdős problem #858
Full solution. Contribution type: AI collaborating with humans.
LFCR
Candidate solutionCombinatoricsErdős #856
Erdős problem #856
Candidate full solution. Contribution type: AI collaborating with humans.
LFCR
Partial resultCombinatoricsErdős #852
Erdős problem #852
Partial result. Contribution type: AI collaborating with humans.
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
Partial resultCombinatoricsErdős #251
Erdős problem #251
Solution to variant problem. Contribution type: AI standalone.
LFCR
FormalizationCombinatoricsErdős #194
Erdős problem #194
Formalization of an existing proof. Contribution type: Formalization.
LFCR
Partial resultCombinatoricsErdős #1209
Erdős problem #1209
Partial result (Lean). Contribution type: AI collaborating with humans.
LFCR
FormalizationCombinatoricsErdős #753
Erdős problem #753
Formalization of an existing proof. Contribution type: Formalization.
LFCR
Partial resultCombinatoricsErdős #366
Erdős problem #366
Conditional partial result. Contribution type: AI alongside literature.
LFCR
New proofCombinatoricsErdős #258
Erdős problem #258
Full solution. Contribution type: AI building on literature.
LFCR