Yeah, I think this is the goal - remember; there are some problems that only need to be solved correctly once! Imagine something like a millennium problem - you'd be willing to wait a pretty long time for a proof of the RH!
I've been doing some reading on LLMs for protein/RNA structure prediction and I think there's a decent amount of work on SO3 invariant transformer architectures now
Mid-career jack-of-all trades problem solver with a decade of software engineering, data science, and analytics experience. Very experienced working with large geospatial datasets, planning, simulation, and control policy work. Looking for roles involving physical science, chemistry, energy, or other fun science and engineering problems.