მათემატიკოსებმა AI-ის მიერ შექმნილი შედეგების გამოქვეყნების წესები დაადგინეს

მათემატიკისა და ხელოვნური ინტელექტის საკითხებზე მომუშავე დამოუკიდებელმა ჯგუფმა (agmai.org) 29 სექტემბერს რეკომენდაციები გამოაქვეყნა იმაზე, თუ როგორ უნდა აქვეყნებდნენ AI-ლაბორატორიები მოდელების მიერ შექმნილ მათემატიკურ შედეგებს. დოკუმენტი „Responsible Release of AI-Generated Mathematics“ მათემატიკური საზოგადოების 600-ზე მეტი პასუხის საფუძველზე შედგა.

ავტორები თავიდანვე აცხადებენ, რომ არ ემხრობიან იმ პრაქტიკას, როცა წამყვანი AI-ლაბორატორია მათემატიკის რთულ ამოცანებს საჯაროდ მიუწვდომელ მოდელებზე ამოწმებს, და მათ ამის შეწყვეტისკენ მოუწოდებენ.

რატომ არის ეს მნიშვნელოვანი

მათემატიკური კვლევა ეყრდნობა ნორმებს, რომლის მიხედვითაც ნაშრომის ავტორს მისი დასკვნა თავად ესმის, სისწორეს თავად ამოწმებს და შინაარსზე პასუხისმგებლობას იღებს. ახლა AI-ს შეუძლია წარმოადგინოს მათემატიკური მსჯელობა, რომელიც მომთხოვნისთვის გაუგებარი და შეუმოწმებელი რჩება. ჯგუფის პოზიციით, ადამიანის მიერ მათემატიკის გააზრება მთავარი ღირებულებაა და ის პასუხისმგებელი სამეცნიერო გამოქვეყნების ნაწილად უნდა დარჩეს.

ორი გზა გამოქვეყნებისთვის

დოკუმენტი განასხვავებს შედეგს, რომელიც ადამიანს ესმის, და შედეგს, რომელიც ჯერ არავის ესმის. პირველ შემთხვევაში მოქმედებს აკადემიური ტრადიცია: პრეპრინტი, ნაშრომის ჟურნალში განსახილველად გაგზავნა და სემინარები, სადაც ავტორი ნაშრომს კოლეგებს უხსნის.

თუ მოდელის მიერ გენერირებული მსჯელობა მომთხოვნს არ ესმის, ჯგუფი პირველადი გამოქვეყნების ტექნიკურ ნორმებს ადგენს: ლაბორატორიამ ლიტერატურაში უნდა მოძებნოს დაკავშირებული იდეები და დაასახელოს ნაშრომები, სადაც ისინი პირველად გამოჩნდა, მაშინაც კი, თუ მოდელმა ისინი დამოუკიდებლად აღმოაჩინა. მტკიცებულებები სტანდარტული მათემატიკური ნაშრომის სტილში უნდა გადაიწეროს, ზუსტი თეორემებითა და არასტანდარტული ტერმინოლოგიის გარეშე. შედეგები დროულად უნდა ჩაიდოს სამეცნიერო რეპოზიტორიებში, რომლებსაც არც ერთი AI-ლაბორატორია არ აკონტროლებს.

ყოველი შედეგისთვის ლაბორატორიამ უნდა გამოაქვეყნოს მოდელის სახელი, გამოყენებული პრომპტები, აზროვნების ჯაჭვის შეჯამება, დახარჯული დრო და გამოთვლის სავარაუდო ღირებულება. თუ ერთდროულად ბევრი შედეგი ქვეყნდება, საჭიროა ცალკე დოკუმენტი, რომელიც ყველა მათგანს მიუთითებს და განმარტავს, რამდენი მსგავსი სირთულის ამოცანა ვერ ამოხსნა მოდელმა და როგორ შეირჩა ამოცანები.

დაფინანსება და ფართო წვდომა

ჯგუფის აზრით, ლაბორატორია, რომელიც მნიშვნელოვან შედეგებს ადამიანის გაგების გარეშე აქვეყნებს, ვალდებულია აიღოს პასუხისმგებლობა და თანხის ჩათვლით მხარდაჭერა გასწიოს, რომ გააზრება მოგვიანებით მაინც მოხდეს. რომელი პროექტები დაფინანსდება, ამას დამოუკიდებელი არაკომერციული ორგანიზაციები წყვეტენ და არა თავად ჯგუფი ან ლაბორატორიები. მხარდაჭერა შეიძლება მოხმარდეს რთული მტკიცებულებისადმი მიძღვნილ კონფერენციას, სამუშაო შეხვედრას, გრძელვადიან სამუშაო ჯგუფს, პოსტდოკების დაფინანსებას ან განმარტებითი წიგნების წერას.

დოკუმენტი აფრთხილებს, რომ დახურულ შიდა მოდელებზე დაფუძნებული კვლევა ორ დონედ დაყოფილი სისტემის რისკს ქმნის: რამდენიმე ლაბორატორია დანარჩენ დარგს უსწრებს და მათემატიკურ საზოგადოებას საკუთარი დისციპლინისგან აშორებს. ჯგუფი მოუწოდებს ლაბორატორიებს, გლობალურ მათემატიკურ საზოგადოებას საჯაროდ ხელმისაწვდომ მოდელებზე ფართო და თანაბარი წვდომა მისცენ, რადგან მათემატიკა კოლექტიური გადამოწმებით, ცნებების სინთეზით და საერთო ინტუიციით ვითარდება.