Combinatorics · Aug 9, 2025
Erdős problem #686
Various partial results. Contribution type: AI collaborating with humans.
Contributors
AlphaProof · Claude · Gemini Deep Think · GPT-5.2 Thinking · GPT-5.4 Thinking · Seed 2.0 Pro · Adenwalla, Stijn Cambie, Wouter van Doorn +7
AI systems: AlphaProof, Claude, Gemini Deep Think, GPT-5.2 Thinking, GPT-5.4 Thinking, Seed 2.0 Pro