ნობელიანტი და ხელოვნური ინტელექტი ათწლეულის წინანდელი ფიზიკური თეორემის დამტკიცებაზე

მათემატიკური ვარაუდი, რომელიც ფიზიკოსებს ათ წელზე მეტი ხნის განმავლობაში აბნევდა, დამტკიცდა ორი თეორიული ფიზიკოსისა და ხელოვნური ინტელექტის სისტემის მოულოდნელი თანამშრომლობის შედეგად. ნაშრომი, რომელიც 1 ივლისს გამოქვეყნდა ჟურნალში Journal of Statistical Mechanics: Theory and Experiment, აღწერს, თუ როგორ შეიტანა Anthropic-ის Claude-მა გადამწყვეტი წვლილი დამტკიცებაში.eurekalert+1

პრობლემა, რომელიც მოსვენებას არ გვაძლევდა

ნობელიანტმა ჯორჯო პარიზიმ და ფრანჩესკო ზამპონიმ, ორივე რომის საპიენცას უნივერსიტეტიდან, ეს დამაბნეველი ურთიერთკავშირი პირველად 2014 წელს აღმოაჩინეს. ჯემინგის ფიზიკაზე მუშაობისას – პროცესი, რომლის დროსაც ნაწილაკების სითხის მსგავსი სისტემა მოულოდნელად ხდება მყარი, ხოლო რჩება უწესრიგო – მათ შენიშნეს, რომ მათი მოდელის ორი მათემატიკური პარამეტრი, აღნიშნული როგორც a და b, რიცხვით გამოთვლებში ყოველთვის ჯამდება ერთამდე. ეს ურთიერთკავშირი გულისხმობდა, რომ მათი თეორიული ჩარჩო და კონკურენტული მიდგომა, რომელიც დამოუკიდებლად შეიმუშავა ფრანგმა ფიზიკოსმა მატიე ვიარმა ლოზანის EPFL-ში, იწვევს იდენტურ ფიზიკურ კანონებს.miragenews+1

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

Claude-ის "არსებითად სწორი" ინტუიცია

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

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

თავმდაბალი პასუხი

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

ნაშრომი, რომელიც Claude-თან დიალოგის დაახლოებით 40 იტერაციის განმავლობაში ჩატარდა, წარმოადგენს იშვიათ დოკუმენტირებულ შემთხვევას, როდესაც დიდი ენობრივი მოდელი ხელს უწყობს რეცენზირებადი ფიზიკური შედეგის მიღებას – თანაც ისეთის, რომლის ავტორიც ნობელის პრემიის ლაურეატია.facebook+1