Meet Math V2: The open-source AI that just won gold at the IMO

Technology