I vibed a proof of Conway's conjectureoverreacted.io
231 points by m-hodges 16 hours ago | 217 comments