მათემატიკოსი „შეშინებულია“: ხელოვნურმა ინტელექტმა მათემატიკა ერთ კვირაში თავდაყირა დააყენა

სულ რაღაც ერთი კვირის განმავლობაში, ხელოვნური ინტელექტის სფეროში მსოფლიოს ორმა წამყვანმა კომპანიამ გამოაქვეყნა შედეგები, რომლებმაც მათემატიკური საზოგადოება შეაძრწუნა: OpenAI აცხადებს, რომ გადაჭრა 90 წლის წინანდელი, მილიონდოლარიანი მათემატიკური ამოცანა, ხოლო Anthropic-მა გაამჟღავნა, რომ მისმა ხელოვნურმა ინტელექტმა, Claude-მა, ისტორიაში ერთ-ერთი ყველაზე ცნობილი მტკიცებულების ფორმალიზება მოახდინა. ამ სწრაფმა განცხადებებმა მათემატიკოსები გაოცებასა და შიშს შორის მერყევი დატოვა.

ათასწლეულის პრემიის ამოცანა დაეცა

სამშაბათს, 8 სექტემბერს, OpenAI-მ გამოაცხადა, რომ დაახლოებით 10 000-მა ხელოვნური ინტელექტის აგენტმა, რომლებიც მუშაობდნენ ჯერ კიდევ გამოუშვებელ და GPT-6 Astra-ზე უფრო მძლავრ მოდელზე, 88 საათში გადაჭრა ნავიე-სტოქსის განტოლებების ამონახსნის არსებობისა და გლუვობის პრობლემა. ეს ამოცანა, კლეის მათემატიკის ინსტიტუტის მიერ 2000 წელს დაწესებული ათასწლეულის ექვსი დარჩენილი პრობლემიდან ერთ-ერთი, სვამს კითხვას, შეუძლია თუ არა სითხის მოძრაობის განმსაზღვრელ განტოლებებს უეცარი უსასრულობების წარმოქმნა ან „აფეთქება“. OpenAI-ის აგენტებმა დაასკვნეს, რომ ეს შესაძლებელია.cnbc+2

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

ფერმას დიდი თეორემა, ფორმალიზებული

რამდენიმე დღით ადრე, Anthropic-მა გაამჟღავნა, რომ Claude-მა შექმნა ფერმას დიდი თეორემის პირველი სრული, კომპიუტერით შემოწმებადი ფორმალიზაცია Lean-ის დამხმარე პროგრამაში. სისტემამ, რომელიც ძირითადად ავტონომიურად მუშაობდა 11 დღის განმავლობაში, შექმნა დაახლოებით 13 მილიონი სტრიქონი კოდი და გზადაგზა დაამტკიცა 29 500 შუალედური თეორემა. ლონდონის იმპერიული კოლეჯის პროფესორმა კევინ ბაზარდმა, რომელიც ხელმძღვანელობდა პარალელურ მრავალწლიან მუშაობას იმავე მტკიცებულების ფორმალიზებაზე, ამას „ავტოფორმალიზაციის არაჩვეულებრივი მიღწევა“ უწოდა.aitechdaily+2

ეს შედეგი არ წარმოადგენს ახალ მტკიცებულებას — ენდრიუ უაილსმა თეორემა ჯერ კიდევ 1995 წელს დაამტკიცა — არამედ არსებული მტკიცებულების მანქანურად შემოწმებულ კოდირებას, რასაც, მათემატიკოსების ვარაუდით, წლები დასჭირდებოდა.letsdatascience+1

„ნამდვილად შეშინებული ვარ“

ამ გარღვევებმა მკვლევარებს შორის ღრმა დაფიქრება გამოიწვია. შაბათს გამოქვეყნებულ ინტერვიუში Wired News Corp ↗ 1.64%-თან, კორნელის უნივერსიტეტის მათემატიკოსმა სტივენ სტროგატცმა აღწერა საკუთარი თავი, როგორც „ნამდვილად შეშინებული“ ცვლილებების ტემპით. „მეცნიერება ამაღელვებელია,“ – თქვა მან, „მაგრამ მას თან ახლავს ბევრი ადამიანური უთანხმოება.“ სტროგატცმა, რომელიც არის თანაავტორი მომავალი წიგნისა „დიდი მათემატიკა“ (Big Math), რომელიც ეხება მათემატიკის განვითარებას ადამიანის აღქმის მიღმა, კორპორაციულ ლაბორატორიებს შორის რბოლა ნაწილობრივ მომგებიანი IPO-ების პერსპექტივით ახსნა. მან აღნიშნა, რომ რადგან ხელოვნური ინტელექტი აჩქარებს მათემატიკურ აღმოჩენებს, გაურკვეველი რჩება, თუ რას ნიშნავს ეს იმ მკვლევარებისთვის, რომლებმაც მთელი თავიანთი კარიერა ამ პრობლემებს მიუძღვნეს.wired