Animated explanation of our proof on 1-avoiding sets
In 2023, we solved a 1985 Erdős conjecture through a mix of math and AI. We explain the proof in an animated video—no background required.
In 2023, our team resolved a 1985 conjecture posed by Paul Erdős. The work was the outcome of collaboration that combined geometry, graph theory, linear programming, harmonic analysis, and artificial intelligence. We have created a video presenting the main ideas of the proof visually, using animations, without requiring prior expertise in any of these areas.
