OpenAI-ն հրապարակել է արհեստական բանականության ստեղծած հարյուրավոր մաթեմատիկական աշխատանքներ

OpenAI-ն GitHub-ում հրապարակել է արհեստական բանականության ստեղծած մոտ 400 մաթեմատիկական արդյունք՝ ավելի քան 700 ձեռագրով 📊

Ըստ Սթենֆորդի մաթեմատիկոս Ջարեդ Դուկեր Լիխտմանի՝ հավաքածուն ներառում է առաջընթաց այնպիսի հայտնի խնդիրներում, ինչպիսիք են Ռիմանի հիպոթեզը և քառաչափ Կակեյայի վարկածի լուծումը։

Սակայն OpenAI-ն նշում է, որ արդյունքները ստուգման տարբեր փուլերում են։ 719 ձեռագրից Lean ծրագրով առայժմ ձևայնացվել է միայն 300-ը (շուրջ 42 տոկոսը)։ Բացի այդ, մաթեմատիկոսները նկատել են որակի անհամապատասխանություն, իսկ հոկտեմբերի 8-ի դրությամբ ընկերությունն արդեն հեռացրել է երեք հոդված՝ նշանի սխալի պատճառով։