Terence Coelho comments on Don’t over-update on FrontierMath results