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

OpenAI-მ ორშაბათს, 26 ოქტომბერს, განაცხადა, რომ მისმა შიდა მოდელებმა სამი ახალი შედეგი მიიღეს. პირველი არის ლოკალური დაგლუვების ჰიპოთეზის დამტკიცება ყველა განზომილებაში, რაც ასევე გადაწყვეტს კაკეიასა და სტეინის შეზღუდვის ჰიპოთეზებს. მეორე არის ექსპონენციალური დროის ჰიპოთეზის უარყოფა, ხოლო მესამე არის კვანტური ქრომოდინამიკის არსებობის მკაცრი მტკიცებულება. აკადემიური აღიარების მოთხოვნის ნაცვლად, კომპანიამ მოიწვია გარე ექსპერტები, რათა მათ შეასრულონ "მწყემსების" როლი და მოაწყონ ჯგუფები, რომლებიც შეამოწმებენ და განმარტავენ ნაშრომებსtheverge.com+1. ## სამი შედეგი, სამი გამოშვების გეგმა მათემატიკური პრეტენზია ეფუძნება კრისტოფერ სოგეს 1991 წლის ლოკალური დაგლუვების ჰიპოთეზას. მათემატიკოსებმა ის ორ სივრცულ განზომილებაში 2019 წელს დაამტკიცეს, ხოლო კაკეიას ჰიპოთეზა სამ განზომილებაში 2025 წელს დამტკიცდა. OpenAI აცხადებს, რომ მისი მტკიცებულება ეფუძნება "ახალ დამხმარე კერძო წარმოებულებიან დიფერენციალურ განტოლებას". ექსპერტის რჩევით, OpenAI-მ გამოაქვეყნა ნედლი მონაცემები, მოდელის აღწერა და Lean-ის მტკიცებულება GitHub-ზე, როგორც ეს 6 ოქტომბრის რელიზის დროს გააკეთაopenai.com+1. კომპიუტერული მეცნიერების შედეგი აღწერს დეტერმინისტულ ალგორითმს, რომელიც ითვლის ფიქსირებული სიგანის CNF ფორმულების დამაკმაყოფილებელ მნიშვნელობებს სუბექსპონენციალურ დროში. 3-SAT-ზე გამოყენებისას, ეს უარყოფს ჰიპოთეზას, რომელიც ასობით სირთულის მტკიცებულებაში გამოიყენება. რასელ იმპალიაცო და რამამოჰან პატური კალიფორნიის უნივერსიტეტიდან, რომლებმაც პირველად წამოაყენეს ჰიპოთეზა, მიმოხილვას MIT-ის რაიან უილიამსთან ერთად უხელმძღვანელებენ. მათ გააფრთხილეს, რომ "ჩვენი მონაწილეობა არ უნდა იქნას აღქმული, როგორც პრეტენზიის სერტიფიცირება". OpenAI ასევე დათანხმდა მათ თხოვნას, დააფინანსოს კონფერენცია იმის შესახებ, თუ რას ნიშნავს ეს შედეგი დარგისთვისthenextweb.com+1. ფიზიკის მასალები ჯერჯერობით არ გასაჯაროებულა. ნობელის პრემიის ლაურეატ დევიდ გროსის ხელმძღვანელობით შექმნილმა ჯგუფმა, რომელშიც შედიან მაიკლ დუგლასი, არტურ ჯაფე, იგორ კლებანოვი და ნიკიტა ნეკრასოვი, თავად გადაწყვიტა შედეგების გაფორმება. ნაშრომი მოიცავს სუფთა იანგ-მილსის თეორიის არსებობის მტკიცებულებას, რაც კლეის ათასწლეულის პრიზის პრობლემის ნაწილიაopenai.com. ## კითხვები მწყემსის მოდელის შესახებ OpenAI აცხადებს, რომ მწყემსები არ მოაწერენ ხელს კონფიდენციალურობის შეთანხმებებს და მათ არ გადაუხდიან ჰონორარს. კომპანია ასევე ამბობს, რომ "არ ეძებს აკადემიურ აღიარებას" მისი მოდელების აღმოჩენებისთვის. კომპანიამ აღიარა, რომ პირველი მწყემსების შერჩევა "ქმნის ინფორმაციულ ასიმეტრიას". ეს შეთანხმება ემატება OpenAI-ს ბოლოდროინდელ 5 მილიონიან შენატანს Simons Foundation-ში, რომელიც დააფინანსებს სემინარებს ხელოვნური ინტელექტის მიერ მიღებულ შედეგებზეopenai.com. ყველას არ მოსწონს ეს მიდგომა. განცხადებამდე ერთი დღით ადრე, OpenAI-ს მათემატიკურ მრჩეველთა საბჭომ რეკომენდაცია მისცა AI კომპანიებს, არ მიეღოთ პრაქტიკა, რომელიც შერჩეულ პირებს მოდელის შედეგებზე პრიორიტეტულ წვდომას აძლევს. საბჭომ მიუთითა უთანასწორო წვდომაზე, რეპუტაციის სესხებაზე და მიკერძოებულ შერჩევაზე. Gizmodo-მ აღნიშნა, რომ Lean-ის ვერიფიკაციას წარსულშიც შეუქმნია პრობლემები. OpenAI-ს ადრინდელი ნავიე-სტოქსის პრეტენზიის მკითხველები წუხდნენ, რომ Lean-ის მტკიცებულებამ დაადასტურა უფრო სუსტი განცხადება, ვიდრე ის, რაც კომპანიამ გამოაქვეყნა. OpenAI ახალ ხელნაწერებს აღწერს როგორც "ნედლ კვლევით მონაცემებს", რომლებიც სამეცნიერო საზოგადოებამ ჯერ კიდევ უნდა აქციოს გააზრებულ ცოდნადgizmodo.com+1.