OpenAI'nin matematik başarısı kripto güvenliğindeki bir sonraki zayıf noktayı ortaya koyuyor

Navier-Stokes iddiası, hatalı spesifikasyonların güvenlik açıklarını tespit edilememesine neden olabileceği sözleşme doğrulamasında yapay zekanın olası bir rolünü öneriyor.