Combinatorics · Jan 30, 2026
Erdős problem #635
Solution to one part of problem (Lean). Contribution type: AI alongside literature.
Contributors
Aristotle · GPT-5.2 Pro
AI systems: Aristotle, GPT-5.2 Pro
Combinatorics · Jan 30, 2026
Aristotle · GPT-5.2 Pro
AI systems: Aristotle, GPT-5.2 Pro