Amateur armed with ChatGPT solves an Erdős problem

459 points

by pr337h4m

18 hours ago

297 comments