Comment by hackermailman

I agree with the 3blue1brown guy because now is the time to reinvent all pure math so it actually works. The other day I worked through a paper that redefines probability using game theory as a foundation and it was almost trivial to prove everything with an AI assistant. What else can be redefined