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ă.
Surse:
Mediafax