No clue why they are calling a 560B model "Flash". But one very interesting thing is, it is beating all the other frontier models in safety, and most of them by quite a margin. The same for Formal Theorem Proving, where I would have expected OpenAI to do way better