Full threadbrudgers·relatedLex Fridman recent podcast on the AI crisis in math, https://youtu.be/ZAzWPE9CItgView on HN