mathematical discoveries