OpenAI, Navier-Stokes Milenyum Problemi'ni Çözdü mü, Çaldı mı?
OpenAI'ın 10.000 yapay zeka ajanını 88 saatlik işlem gücüyle Navier-Stokes Milenyum Problemi'ni çözdüğüne dair iddiası, bilim yapma yönteminin köklü olarak
Etiket: Lean teoremi doğrulayıcı AI