AI ASSISTANCE IS NOW BECOMING ROUTINE OVER AT THE ERDOS PROBLEM WEBSITE

Summary from the TLDR AI newsletter

Top mathematicians are using AI to generate proofs and solve problems.