Profits of main alcohol suppliers has certainly taken a hit over the last 5 years but this is arguably far more because of rise of remote working, inflation (drinking at pubs have become much more costly than before) and people in general just addicted to their phone rather than going out (similar to the impact on almost all social activities no just going to pubs)

Failure to take into consideration those kind of correlations ("If my biggest client isn't able to buy it, I would be able to find someone else who will") is one of the principle causes why many risk models turned out to be garbage during the Great Financial Crisis.

Holding people like Hegseth (who literally insider traded defense equities right before the start of the war) and Trump accountable (who practically made a gazillion insider trading each mad meme he posted while the world burnt) is not "dividing people into teams"

Yet MAGA supporters were saying early in the war that they are "plan trusters" as prior US admins sucked at regime change because it is a "skills issue" and none of the prior admins had the triple digits IQ of Hegseth, Trump and Bessent.

So the entire "new internal model" is 'parallel construction' in criminology speak to justify spying on Buckmaster's work in a legal way.

The easiest conceptual handle is geometric: volume expansion, but seeing how this is related to the combinatorial sum over all permutations, or how those two point of views are related to the algebraic one (that a set of equations having a solution or not), is not easy to see even in the 2D case.

I won't be surprised if math professors don't have this issue like you said (especially if someone is comfortable with wedge products), but the vast majority of newcomers who are interested in understanding why something works rather than just how to use it struggle all the time with determinants.

Classical example is Microsoft actively undermining mobile because it threatened selling Windows or enterprise licenses.

Or Yahoo fighting Google's model because the latter model's didn't depend on taking enterprise deals to rank results.

And also from the timeline you can see that the average Apple hardware transition period is 2.75 cycles, so I wouldn't bet too much that their ARM journey will last more than 6 cycles.

It's almost like trying to predict if the smartphone leaders in 2006 (Nokia / RIM) would want to adopt this new mobile operating system that hardly anyone uses (android) in 2016.

However, it seems the proof is extremely concise so it seems that it is exploiting a clever trick that somehow all the experts missed.

So not to dunk on this amazing result (or move the goal post), but it seems now the only achievement that AI hasn't managed in mathematics is presenting an autonomous "theory-building" proof of an open conjecture. That is a proof that requires creating a substantial new theory (developed say in at least 30+ pages) to crack an open problem.