Kimi K3, and what we can still learn from the pelican benchmark