There is absolutely no DNA recombination during a thought process.

I mean, even just that would prove to be a very productive workhorse - potentially being able to automate away almost every white collar job.

Since when? Rust just has an ML-like type system, and seemingly many have met that for the first time with Rust, even though it has decadeS of history, and multiple production languages running it just fine (ocaml, scala, etc).

Formal proofs are way way above an ML type system. Like how do you encode mathematical statements in Rust's type system? What about statements about program semantics, like program A is equivalent to program B <- in formal verification THAt is the type of an expression, and the implementation of it is the proof.

Sure, it's a valid language design, but it's also a negative in "understandability of each line of code", and thus maintainability, and even stuff like tooling, verification.

With all due respect yours is a very short sighted take that only thinks in passing tests. That's not the purpose of education.

> I don't know what would be a good career path, but most certainly avoid anything that AI is having the most success at in 2026.

This hinges on an assumption that means our whole society is turned upside down completely with no way to predict anything. But this is an assumption only. So you can either plan for a known path and do something valuable there, OR just put up your hand and prepare for.. what? Like not even physical jobs are safe because who will hire anyone if a good chunk of all humans will be out of jobs? Your best bet would probably be to build a bunker and stock up on canned food.

So unless there is a change towards UBI in your take (which is still not an all around solution. Many people only fit properly in a society because they are occupied 8 hours a day with something), that will probably result in the biggest revolution ever seen.

And there is not enough high walls to save the rich from that.

Until those who don't own capital get upset and put the whole thing on fire.

But I don't think this video was meant to cover this case, and in the more pessimistic predictions you are not better with any other profession either. Given his assumptions I think it is an absolutely fair take. If AI becomes better in all 4 areas of math he lists, then private funding may decrease - BUT if there is ever any need for human problem solving skills, academia will not break down and this has always been the majority where mathematicians are employed/financed from.

And if this latter assumption breaks, we are in far greater trouble than whatever you chosen as a career and society will become unrecognizable to today's.

Funnily enough kotlin added some rushed, delivered syntax sugar in the form of `when` and java just came and added proper pattern matching with algebraic data types and exhaustiveness checking into the platform itself, making it better than the guest language at its own game. Meanwhile I never felt this "landing page growing" mindset with Scala.

You really have to wrap your head around dependent types and _≡_. In my experience it was far more mind blowing than just FP.

Which of these is impressive or novel?

At the price of your passenger seats being occupied by gas tanks, that surely are safe in a collision that's far more likely occurrence.

It's PR stunt, nothing more.