This is a really interesting observation, especially given their current valuation and circumstances. Probably the verifiability of mathematics is enabling this progress, and making progress on science and engineering is not so straightforward. You can be sure that this is a top priority for them, especially now that there is concrete evidence that LLMs can achieve super-human performance at math. A model that achieves similarly super-human performance at things like material or drug design would be incredibly valuable. In fact, maybe this is why Anthropic hasn't been making such enormous strides in mathematics - they have been prioritizing biology instead.