I think its very reasonable for AI to speedup superconductor finding which will make medical scanning a lot cheaper, easier and better.
It will also allow for massive and easy energy transportation for large distances like afrika/spain <> europe.
In medicin understanding DNA and the results of it could lead to solving cancer and dementia.
New better batery chemicals will help us for solid state batteries. no AAA version of this but up to 1000kwh/kg + low temp and high temp stability and very stable against burning.
It were published proofs of unknown quality (how did they verify it) and unknown peer-review process. Its lower standards than usually accepted for math proofs.
I wish we had such a platform (and was properly adopted). Maybe then the necessary context would be properly organized, and these lesser models could be effective here as well, especially if combined with harnessing integrations too. I still have a hard time accepting that Haiku/Luna tier models can be effective there even then, but I'll just have to take your word for it I suppose.
And as long as I pay as little for claude opus 5.5 i do right now, i'm using it.
But yes i'm glad that we have alternatives.