He sure takes his time! I stopped (for now) at 32min when he skipped the least trivial step to showing his invariant holds. It's fairly trivial too, some elemen

He sure takes his time! I stopped (for now) at 32min when he skipped the least trivial step to showing his invariant holds. It's fairly trivial too, some element leaves B and is max'd against x, max of those two things is conserved. I don't know why he skipped it. It's a little mean spirited, what with the "you'll get replaced by LLMs if you can't solve it" comment. Anyways, it's often like this with these experts, some are so far in their own worlds, they no longer have any notion of what other people understand, so they either over or under shoot the complexity of their talks drastically. Complete with a trivial mistake where max is replaced by min in the numerical application, à la Grothendieck's prime 57. At least this chap wanted people to understand his talk.