“Broader implications of the FrontierMath debacle” by 7vik | LessWrong (30+ Karma) | Podwise