Will an AI achieve >85% performance on the FrontierMath benc | Blockcircle