That's literally the 7.3k Upvoted top comment and I also think Grant didn't chew this one through appropriately.
I was kinda offended at 17:10, where OpenAI paper dumping proofs "takes all the wind of [mathematicians] sails". But it's so much more than that.
He did go more into it at 30:00, where he accepts that something is lost here. Or as Terence Tao said, the "age of heroes" in mathematics is has come to an end. I think Grant's points on funding and maths having a strong future are true. But I still think the dehumanizing part wasn't properly honored. But then again, this is supposed to be positive push into the future, so dwelling on it is not something Grant wanted to do.
He did go more into it at 30:00, where he accepts that something is lost here. Or as Terence Tao said, the "age of heroes" in mathematics is has come to an end. I think Grant's points on funding and maths having a strong future are true. But I still think the dehumanizing part wasn't properly honored. But then again, this is supposed to be positive push into the future, so dwelling on it is not something Grant wanted to do.