În flăcări Tehnologie publicată actualizată acum 1 h

OpenAI publică 722 de manuscrise matematice generate de un model AI nelansat public

OpenAI a pus pe GitHub 722 de manuscrise, grupate în 372 de familii de rezultate, generate de un model AI intern încă nelansat public, rezultate obţinute în urma testării a circa 4.000 de probleme de cercetare. Compania a publicat şi unele formalizări în limbajul Lean, precizând că materialele sunt în stadii diferite de verificare şi că unele pot conține erori; intenționează să colaboreze cu comunitatea matematică şi să finanțeze workshopuri pentru analiză.

Pe scurt

  • Pe GitHub au fost publicate 722 de manuscrise, organizate în 372 de familii de rezultate matematice.
  • Materialele provin dintr-o evaluare în care modelul a primit aproximativ 4.000 de probleme de cercetare.
  • O parte dintre demonstrații au fost formalizate în Lean; OpenAI precizează că nu toate formalizările sunt complete.
  • OpenAI avertizează că unele rezultate neformalizate pot avea probleme și va corecta erorile pe parcurs.
  • Publicarea urmează unei demonstrații legate de problema Navier–Stokes, pe care OpenAI o consideră rezolvată, dar care necesită verificare independentă
Etichete: OpenAI inteligență artificială matematică problema Navier–Stokes Lean Advisory Group on Mathematics and Artificial Intelligence

Surse (1)

Acest text este un rezumat generat automat din sursele de mai sus; verificați întotdeauna articolele originale. Raportează o problemă