OpenAI publică sute de rezultate matematice generate de un model AI încă nelansat public

OpenAI a pus la dispoziție pe GitHub 722 de manuscrise grupate în 372 de familii de rezultate. Rezultatele acoperă numeroase domenii ale matematicii, iar OpenAI a publicat și o parte dintre dovezi în Lean, un limbaj care permite verificarea formală a demonstrațiilor de către calculator.

Compania… Citește articolul integral pe Mediafax ↗ (se deschide în filă nouă)