Google Uses AI to Discover 20-Year-Old Software Bug