Comments by "nozrep" (@nozrep) on "Mathematician explains the limits of mathematics | Edward Frenkel and Lex Fridman" video.