Sometimes a friend would show me their feed and I'd be shocked at how different the content they are presented by their version of the algorithm.
There are a lot of people putting a lot of effort to create very interesting content and we should not belittle their work just to fein intellectual superiority.
There's really nothing inherently wrong about the format.
Keyword: competent.
Well that's the key. The current administration is doing its best to sabotage science.
With appropriate planning and funding, the next administration can definitely reverse the trend.
Japan was the next big thing.
But the collective efforts of some government agencies, academia and the private sector helped reverse the trend.
American dominance is sure not a given but with an almost century of inertia, all hope is not lost (especially compared to the alternative).
What if there exists a proof that P!=NP, but the shortest possible proof of that proposition is a googolplex symbols that long? Then P!=NP would be true, and provable and knowable in theory, yet eternally unprovable and unknowable in practice
Goodstein’s theory would take more symbols than there are atoms in the observable universe to write down in "classic" maths. To "fix" this, mathematicians had to use a "new" way of thinking about infinity known as transfinite induction.
I think if we're smart enough to detect(?) a proof, we'll find a way to express it in a finite manner.
There were many questions with no answers for literal centuries and thousands trying, and failing, to crack them. A solution was ultimately found despite that.
A new "math" might be needed, but an answer (affirming or not) will be found.
Oh, and JavaScript.