Wait, if you can (or anyone else chipping in), please elaborate on something you’ve written.
When you say
That means they can engineer a solution to any problem that has already been solved millions of times already.
Hasn’t Google already made advances through its Alpha Geometry AI?? Admittedly, that’s a geometry setting which may be easier to code than other parts of Math and there isn’t yet a clear indication AI will ever be able to reach a certain level of creativity that the human mind has, but at the same time it might get there by sheer volume of attempts.
Isn’t this still engineering a solution? Sometimes even researchers reach new results by having a machine verify many cases (see the proof of the Four Color Theorem). It’s true that in the Four Color Theorem researchers narrowed down the cases to try, but maybe a similar narrowing could be done by an AI (sooner or later)?
I don’t know what I’m talking about, so I should shut up, but I’m hoping someone more knowledgeable will correct me, since I’m curious about this
Even if they did so, isn’t Firefox entirely open source? At least their work could be forked (though I agree if they don’t have the resources, hardly anyone else could make it)