Also #124 was proved using AI 49 days ago: https://news.ycombinator.com/item?id=46094037