The Last Piece of the Puzzle: Vibing an Inference Engine

I saw a piece of news yesterday that held my attention for a while. 23-year-old Liam Price has no advanced mathematical background. On an ordinary Monday afternoon, he casually tossed a problem numbered Erdős #1196 into ChatGPT. After several rounds ...