OpenAI-ის მოდელმა Astra-მ 10 მათემატიკური ამოცანა 2000 დოლარად ამოხსნა

OpenAI-მ შაბათს განაცხადა, რომ მისმა შიდა მოდელმა Astra-მ ახალი შედეგები აჩვენა მათემატიკისა და თეორიული კომპიუტერული მეცნიერების 10 ამოცანაში, რომლებიც ათწლეულზე მეტია გადაუჭრელი რჩებოდა. კომპანიამ წარმოადგინა მანქანურად შემოწმებადი მტკიცებულებები თითოეული შედეგისთვის. OpenAI-ის ცნობით, 10-ვე ამოცანის ამოხსნისთვის საჭირო ტოკენების ღირებულებამ, მიმდინარე API ტარიფებით, დაახლოებით 2000 დოლარი შეადგინა.forbes+1

ვერიფიცირებული მტკიცებულებები სხვადასხვა სფეროში

შედეგები მოიცავს მაღალგანზომილებიან სფეროთა შეფუთვას, კოდირების თეორიას, კრიპტოგრაფიას, ექსტრემალურ კომბინატორიკას და კვანტური თამაშების თეორიას. მთავარი მიღწევა არის არასოფიკური ჯგუფის ექსპლიციტური კონსტრუქცია, რაც 1999 წლიდან ღია საკითხი იყო და უარყოფს ჰიპოთეზას, რომ ყველა თვლადი ჯგუფი სოფიკურია. Astra-მ ასევე უარყო კონესის სიმკაცრის ჰიპოთეზა 1980 წლიდან და გადაჭრა პოლ ერდოშის კატალოგის სამი ამოცანა, მათ შორის 183-ე ამოცანა მრავალფეროვან რამსეის რიცხვებზე.newscientist+1

OpenAI-მ GitHub-ზე გამოაქვეყნა 249-გვერდიანი ხელნაწერი და Lean 4-ის სერტიფიკატები Apache 2.0 ლიცენზიით. კომპანიის თქმით, ფორმალიზებულ მტკიცებულებებში არცერთი ნაბიჯი არ დარჩენილა დაუმტკიცებელი. Lean-ის ბირთვი იძლევა ბინარულ ვერდიქტს: მტკიცებულება ან მუშაობს, ან არა, რაც გამორიცხავს მოდელის შედეგების ბრმად ნდობის საჭიროებას.siliconangle+1

თომას ბლუმმა, რომელიც ერდოშის ამოცანების კატალოგს უძღვება, შედეგებს „დიდი ამბავი“ უწოდა. ლონდონის ქუინ მერის უნივერსიტეტის პროფესორმა აბჰიშეკ საჰამ განაცხადა, რომ ამ 10 ამოცანიდან ნებისმიერი „მნიშვნელოვანი და შთამბეჭდავი მიღწევა იქნებოდა“.newscientist+1

სკეპტიკოსები სიფრთხილისკენ მოუწოდებენ

განცხადებამ კრიტიკა გამოიწვია. ხელოვნური ინტელექტის ცნობილმა სკეპტიკოსმა გარი მარკუსმა შედეგებს „საოცარი, მაგრამ გადაჭარბებული“ უწოდა. მისი თქმით, ფორმალურად ვერიფიცირებად მათემატიკაში წარმატება არ ნიშნავს, რომ მოდელი სხვა სფეროებშიც ანალოგიურად იმუშავებს. მან ასევე აღნიშნა, რომ 2000 დოლარი მხოლოდ წარმატებულ მცდელობებს მოიცავს და არ ითვალისწინებს იმ მათემატიკოსებისა და მეცნიერების ხელფასებს, ვინც ნაშრომების მომზადებაში დაეხმარა.garymarcus.substack

კემბრიჯის უნივერსიტეტის მკვლევარმა ფრანჩესკო ფურნიე-ფაჩომ ეჭვი შეიტანა სამუშაოს გამჭვირვალობაში და აღნიშნა, რომ სოფიკურობის ამოხსნა ეყრდნობა ანდრეას თომისა და გაბორ კუნის 2016 და 2019 წლების ნაშრომებს. OpenAI-ის თავდაპირველი განცხადება, რომ 10 ამოცანაზე „ათი წლის განმავლობაში პროგრესი არ ყოფილა“, ფურნიე-ფაჩოს კრიტიკის შემდეგ შესწორდა.newscientist

ფართო გავლენა

Astra ჯერჯერობით არ არის გამოშვებული. OpenAI მას აღწერს, როგორც მოდელების ოჯახს, რომელიც შექმნილია მრავალი აგენტის კოორდინაციისთვის რთულ ამოცანებში. აღმასრულებელმა დირექტორმა სემ ალტმანმა მოდელი ვაშინგტონში პოლიტიკოსებს წარუდგინა, თუმცა კომპანიას არ დაუსახელებია გამოშვების თარიღი ან ის, გამოვა თუ არა ის როგორც GPT-6.siliconangle

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