Investor Slater Stich and @polynoamial discuss tackling the Erdős unit distance problem and IMO benchmarks using AI · Digg