🔥 Hot ▲ 111 r/slatestarcodexChatGPT solves Erdos problem on primitive sets. Nontrival, with comments from Jared Lichtman and Terrence TaoMore discussion on Twitter by Jared Lichtman. erdosproblems.com u/DudleyFluffles — 6 days ago