Comment by jamesjyu

Next up: using Chipotle AI to solve Erdős problems