I really envy you. There is a clear divide amongst my colleagues now in terms of who is using Fable and who isn't (this is math work, so it is well and truly better than all the other models). Everyone is quickly becoming reliant on this, and with Anthropic constantly changing their mind, it's just miserable.

You might be interested to learn I am primarily doing proofs & formal methods.

I have a couple of novel formalizations using some bolt-on programs I wrote for Claude Code, but I am mainly using it now to build my eval dataset for my custom inferencing and compute.