მათემატიკოსები OpenAI-ის მიერ გენერირებულ მტკიცებულებას გაუგებარს უწოდებენ

ორშაბათს, 21 სექტემბერს, OpenAI-მ გამოაცხადა, რომ თანამშრომლობს მათემატიკისა და ხელოვნური ინტელექტის დამოუკიდებელ საკონსულტაციო ჯგუფთან, რომელიც პრინსტონის Institute for Advanced Study-შია განთავსებული. ეს გადაწყვეტილება მიღებულ იქნა Navier-Stokes-ის ათასწლეულის პრიზის ამოცანის სადავო და დიდწილად წაუკითხავი, ხელოვნური ინტელექტის მიერ გენერირებული მტკიცებულების გარშემო ატეხილი სკანდალის შემდეგ.openai+1

მტკიცებულება, რომელსაც ვერავინ კითხულობს

ამ თვის დასაწყისში OpenAI-მ გაამხილა, რომ 10 000-მა ხელოვნური ინტელექტის აგენტმა 88 საათის განმავლობაში შექმნა 166-გვერდიანი მტკიცებულება, რომელიც აჩვენებს, რომ Navier-Stokes-ის განტოლებებით აღწერილი სითხეები სასრულ დროში შეიძლება განვითარდეს სინგულარობამდე. ეს შედეგი, დადასტურების შემთხვევაში, გადაწყვეტდა Clay Mathematics Institute-ის მიერ დასმულ ექვსი დარჩენილი ათასწლეულის პრიზის ამოცანიდან ერთ-ერთს. მათემატიკოსები მტკიცებულებას ტექნიკურად სწორად მიიჩნევენ, ნაწილობრივ იმიტომ, რომ მას თან ახლდა Lean-ის პროგრამირების ენაზე ფორმალური ვერიფიკაცია. თუმცა, შედეგის ადამიანური გააზრება კვლავ რთულია.openai+2

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

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

ელიტური საკონსულტაციო პანელი

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

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

ზოგიერთმა მათემატიკოსმა ეჭვი შეიტანა, შეუძლია თუ არა პანელს ნამდვილად წარმოადგინოს ფართო საზოგადოება. "ეს სპილოს ძვლის კოშკს ჰგავს", – თქვა ფრანჩესკო ფურნიე-ფაჩომ, Heriot-Watt-ის უნივერსიტეტის ახალმა პროფესორმა. ციურიხის ETH-ის მკვლევარმა საიმონ მაჩადომ პანელის ფორმირებას "საიდუმლოებით მოცული" უწოდა და ეჭვი შეიტანა წევრების შერჩევის პროცესში.theverge

რა იქნება შემდეგ

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

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