this paper is not good: it's easy to describe things in a categorical language (which this paper does), but not as easy to draw insights from that framework (which this paper does not do)
Classic application of abstract math in something sexy at the time. I once saw a paper describing a trading strategy using stochastic calculus. Turns out it boiled down to buying when price went under some indicator variable, selling when above another.
Stochastic calculus is the only available tool for proving things about continuous-time stochastic processes. There aren't any alternatives, save guessing at criteria and backtesting them.
Yes, for sure useful for the appropriate mathematics. My point is, the trading strategy was a simple heuristic wrapped into overly complicated definitions and proofs. The complicated mathematics added exactly nothing to the application.
Yes, it was something like that. But "desirable" here means something very different for mathematicians and traders actually applying the strategy (I.e., they don't care at all, and neither does anyone else working in finance).
Huge difference between stochastic (processes, ODEs, PDEs, etc) and category theory. One makes money every day and the other is only good for writing papers.
It is rarely within reach to draw new insights from applied category theory, in particular because of the Yoneda lemma and the greater familiarity of sets and functions, and also because as algebraic objects categories have very few properties.
Bare categories do not give much insight in pure mathematics either, it's just a common language; interesting things are categories with lots of extra structure like toposes, derived categories, infinity-categories, and so on.
I don't think Google wants to recreate a GPT chatbot. Perhaps a conversation mode information retrieval interface, but not something you'd chat with. It would be more inline with their theme.
It seems to be ok, but as with other LLMs, can "hallucinate", though sometimes it provides sources to its claims, but only sometimes. If it works out, it could be very nice to Google I would imagine.
If they don't want to, it'll be the beginning of their downfall. A bit like Sears not wanting to deal with the web. GPT4 has replaced a lot of my Google search usage and it's only bound to increase as the models get better.