5 ms·

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