OpenAI rozwiązała problem milenijny w matematyce
AI rozwiązała problem milenijny dotyczący równań Naviera-Stokesa, wykorzystując formalną weryfikację w języku Lean. Matematycy używali modeli OpenAI w swoich badaniach, co budzi kontrowersje etyczne. Rozwiązanie wymagało 80 godzin pracy 10 tys. agentów i 15 mln dolarów na trening.
0 źródeł
2 artykuły
2 komentarzy / reakcji
