“Don’t over-update on FrontierMath results” by David Matolcsi | LessWrong (30+ Karma) | Podwise