Matematikusok szerint az OpenAI nem érti a saját Navier–Stokes-bizonyítását
🤖 AI-generált tartalom — A címet és az összefoglalót mesterséges intelligencia készítette automatikusan, emberi szerkesztői átnézés nélkül.
Szakértői csoportok vitatják az OpenAI által közzétett, a Navier–Stokes-problémára vonatkozó 166 oldalas lehetséges megoldás módszertanát. Több matematikus szerint a megközelítés eltér attól, amit a vállalat állított, és a hasonlóságok csupán felszínesek. A Lean formális verifikációs nyelven írt bizonyítás áttekintésén a Clay Mathematics Institute dolgozik, míg a GitHubon közzétett mintegy 400 további eredmény megosztotta a matematikus közösséget.
Folytasd az appban — szavazz és szólj hozzá ➔Forrás: The Decoder (AI) · innen ahirlevel.hu