A hundred pages of impenetrable brute forced Lean would advance the field much less than something elegant and human understandable, perhaps relying on some new clever spark of innovation that might inspire new areas of research.
Particularly if the first proof being "solved" thanks to piles of money and compute for self-serving marketing discourages the mathematician who might have otherwise devoted years of focus to reach the superior proof we will now never see.
Obtaining a finite-time blow-up for Navier-Stokes does not necessarily advance the field of mathematics by any significant measure, whether the proof is very long or very short.
As a concrete example, such a proof could be less than a page with very specific initial and boundary conditions and inserting them into the equations to get something that goes to infinity when time goes to some finite value.
This would resolve the Millenium problem but not make humanity any smarter.
Math, like any other human endeavor, doesn't exist until someone is motivated to invent it. The laws of the universe aren't understood until someone is motivated to discover them. So it might be worthwhile to not completely ignore discussion about incentives.
Math is largely performed in collaboration. Collaboration requires trust. If people like you had their way, we would lose trust, therefore collaboration, and therefore progress.
So if math is all that matters to you, you should care about this.
That is an direct act of war against near peer level opponent. They can't just roll over. But must respond in kind and cause at least similar or larger damage. Say sinking a aircraft carrier or a few.
Because china has the means to reply. It's one thing to bully countries that can't defend themselves like Venezuela, Cuba or Iran, it's another one to do the same with the factory of the world
It could backfire in a way that ends American actions like the one the Chinese have pulled there ballistic missled arm chair up to watch the action more closely.
The recent embarasment of european tech by chinese tech in pakistan india scuffle, is a hint at what are otherwise unknown Chinese missle capabilities, ie the two OTHER ships in the flotilla, there will of course be many oilers , tenders, and whatnot joining up, complicating things further.
Plus given that China got this hardware on site in 10 days, is a message all it's own.
Gemini is the smartest model currently available. It is the only model out of the big ones that correcly identifies the specific versions of superhers in a collage I tested them with.
This would more than halve the amount of relief pitchers needed, so the MLBPA will never ever think about agreeing to it.
Starting pitchers averaged ~5.5 innings per game in 2024, and going 7 is hardly a rare occurrence. You would basically just have starters, 2-3 relief pitchers, one "long-man." vs. the average of 8 on the roster today.
