OpenAI და Anthropic აცხადებენ, რომ ხელოვნურმა ინტელექტმა გამოთვლითი თეორია უარყო

OpenAI-მ ორშაბათს, 26 ოქტომბერს, განაცხადა, რომ მისმა შიდა AI მოდელებმა სამი შედეგი მიიღეს. პირველი არის ლოკალური დაგლუვების ჰიპოთეზის დამტკიცება ყველა განზომილებაში. მეორე არის ექსპონენციალური დროის ჰიპოთეზის (ETH) უარყოფა. მესამე არის კვანტური ველის ურთიერთქმედების თეორიების, მათ შორის კვანტური ქრომოდინამიკის (QCD), არსებობის მკაცრი დამტკიცება, ნათქვამია კომპანიის განცხადებაში. OpenAI-მ ხელნაწერებს „ნედლი კვლევითი მონაცემების ფორმა“ უწოდა. მან გარე ექსპერტებს სთხოვა, გამხდარიყვნენ შედეგების „მწყემსები“ და თითოეული მიმართულებისთვის განსხვავებული მიდგომა შეირჩა. Scientific American იტყობინება, რომ ექსპერტები „ჯერ კიდევ შოკში არიან“, თუმცა ეს განცხადება უკვე საკამათოა. განცხადებიდან რამდენიმე საათში Anthropic-მა გამოაქვეყნა ETH-ის საკუთარი უარყოფა.openai.com+1

სამი განცხადება, სამი გეგმა

მათემატიკაში კრისტოფერ სოგემ ლოკალური დაგლუვების ჰიპოთეზა 1991 წელს წამოაყენა. OpenAI აცხადებს, რომ მისი დამტკიცება ყველა განზომილებაში ასევე წყვეტს Kakeya-სა და Stein-ის შეზღუდვის ჰიპოთეზებს. კომპანიამ GitHub-ზე გამოაქვეყნა მოდელის ჩანახაზი და Lean-ის ფორმალური მტკიცებულება. ალექს იოსევიჩმა, როჩესტერის უნივერსიტეტის მათემატიკოსმა, Al Jazeera-ს განუცხადა, რომ ეს სიახლე „თავიდან შოკისმომგვრელი იყო“. მან მას „ისტორიული განვითარება“ უწოდა.aljazeera.com+1

ETH-სთვის OpenAI აცხადებს, რომ მისმა სისტემამ უარყოფა 16 ოქტომბერს იპოვა, ხოლო შედეგი Lean-ში 17 ოქტომბერს გაფორმდა. რასელ იმპალიაცო და რამამოჰან პატური UC San Diego-დან, რომლებმაც პირველად წამოაყენეს ჰიპოთეზა, MIT-ის რაიან უილიამსთან ერთად ხელმძღვანელობენ განხილვას. OpenAI-მ ასევე აიღო ვალდებულება, დააფინანსოს კონფერენცია შედეგების შესახებ. მტკიცებულება იძლევა 3-SAT-ის ალგორითმს, რომელიც ექსპონენციალურ დროზე ოდნავ სწრაფად მუშაობს. ეს სულაც არ ნიშნავს P და NP პრობლემის გადაწყვეტას, აღნიშნა Scientific American-მა.openai.com+1

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

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

Scientific American-ის თანახმად, ეს გამოქვეყნება ეწინააღმდეგება მათემატიკისა და ხელოვნური ინტელექტის მრჩეველთა ჯგუფის (AGMAI) რეკომენდაციებს, რომელიც თავად OpenAI-მ შექმნა. მოდელი კვლავ საკუთრების უფლებითაა დაცული და მისი მოთხოვნები და აზროვნების ჯაჭვის შედეგები არ გასაჯაროებულა. AGMAI-მ მოითხოვა Yang-Mills-ის ნაშრომის გამოქვეყნება და განაცხადა, რომ „გამოქვეყნების შეფერხების არანაირი სამეცნიერო მიზეზი არ არსებობს“. იმავე რეპორტაჟში ნათქვამია, რომ Anthropic-ის თანამშრომელი და ჩრდილო-დასავლეთის უნივერსიტეტის მათემატიკოსი საჯაროდ მუშაობდნენ იმავე Yang-Mills-ის პრობლემაზე AI-ს დახმარებით.scientificamerican.com

გვიან ორშაბათს, Anthropic-მა გამოაქვეყნა ნაშრომი „2^o(n) დროის ალგორითმი 3-SAT-ისთვის“, რომელიც Claude-ს მიეწერება. Anthropic-ის მკვლევარმა ლევენტ ალპოგემ განაცხადა, რომ შიდა მოდელმა ძირითადი ალგორითმი 16 ოქტომბერს „ადამიანის ჩარევის გარეშე“ იპოვა, იტყობინება OfficeChai. არც ერთი ლაბორატორიის განცხადება არ არის რეცენზირებული. ამ დროისთვის, ჰიპოთეზის ავტორებზეა დამოკიდებული, დაადასტურებენ თუ არა მათ მიერ წარმოდგენილ უარყოფას.officechai.com