The world’s best symbolic mathematics capabilities