When will AI solve another Frontier Math Problem? — pdata