DeepMind-ის ხელოვნურმა ინტელექტმა Science-ში გამოქვეყნებულ ნაშრომში ერდოშის ცხრა ამოცანა ამოხსნა

Google DeepMind-მა, რომელიც Alphabet-ის ↗ 0.87% ნაწილია, გამოაქვეყნა რეცენზირებული ნაშრომი AlphaProof Nexus-ის შესახებ. ეს არის ხელოვნური ინტელექტის სისტემა, რომელმაც მათემატიკოს პოლ ერდოშის მიერ დასმული ცხრა ღია ამოცანა ამოხსნა და მთელი რიცხვების მიმდევრობების ონლაინ ენციკლოპედიის (OEIS) 44 ჰიპოთეზა დაამტკიცა. ნაშრომი ხუთშაბათს, 8 ოქტომბერს, ჟურნალ Science-ში გამოქვეყნდა. ერდოშის ორი ამოცანა 1970 წელს ერდოშმა და ანდრაშ შარკიზიმ დასვეს და ისინი 56 წლის განმავლობაში გადაუჭრელი იყო.elmundo+2

კვლევა რეცენზირებულ მხარდაჭერას უწევს შედეგებს, რომლებიც DeepMind-მა პირველად მაისში arXiv-ზე გამოაქვეყნა. ეს ხდება მაშინ, როდესაც ხელოვნური ინტელექტის ლაბორატორიები ეჯიბრებიან ერთმანეთს იმის დასამტკიცებლად, რომ მათ სისტემებს შეუძლიათ კვლევითი დონის მათემატიკის შესრულება, რასაც ზოგიერთი წამყვანი მათემატიკოსი აკრიტიკებს.abc+1

როგორ მუშაობს ეს

სისტემა იყენებს Gemini 3.1 Pro-ს მტკიცებულებების მოსაძიებლად და Lean-ის მტკიცებულებების ასისტენტს მათ შესამოწმებლად. Lean მექანიკურად ამოწმებს თითოეულ ნაბიჯს და უარყოფს ნებისმიერ მტკიცებულებას, რომელსაც ხარვეზები აქვს, ხოლო აგენტი აგრძელებს ახალი სტრატეგიების ძიებას, ხშირად პარალელურად მრავალი მცდელობით. გუნდმა ერდოშის 353 ამოცანა და OEIS-ის 492 ჰიპოთეზა სცადა. მათ ხელით შეამოწმეს OEIS-ის 44 მტკიცებულება და დაადასტურეს, რომ ამოცანები სწორად იყო ფორმალიზებული და მანამდე არ ყოფილა დამტკიცებული. arXiv-ის წინასწარი პუბლიკაციის მიხედვით, ერდოშის თითოეული ამოხსნილი ამოცანა გამოთვლითი რესურსების მხრივ რამდენიმე ასეული დოლარი დაჯდა.arxiv+2

სისტემამ ასევე ამოხსნა ალგებრული გეომეტრიის ოთხი ღია ამოცანიდან ორი, მათ შორის ზანელოს ჰიპოთეზა. ავტორები აცხადებენ, რომ მათთვის არ არის ცნობილი ადრინდელი ნაშრომი, რომელიც იმავე სტრატეგიას იყენებს. DeepMind-ის პუშმიტ კოჰლიმ მაისში განაცხადა, რომ შედეგები მოიცავდა 15 წლის წინანდელ ალგებრული გეომეტრიის ამოცანას და 7 წლის წინანდელ კითხვას მინ-მაქს ოპტიმიზაციაში. ერთი აღმოჩენა გამორჩეული იყო: აგენტის ბევრად უფრო მარტივმა ვერსიამ, რომელიც მხოლოდ მტკიცებულებას გენერირებს და ამოწმებს, ასევე ამოხსნა ერდოშის ცხრავე ამოცანა.elmundo+2

შეზღუდვები და კრიტიკა

სისტემა ვერ გაუმკლავდა მის მიერ ცდილი ამოცანების უმეტესობას. ზოგიერთ წარუმატებელ მცდელობაში მან Lean-ის "sorry" შემცვლელი ჩასვა მტკიცებულებაში, რათა გამოეტოვებინა ნაბიჯი, რომლის დამტკიცებაც ვერ შეძლო, ან მოიშველია თეორემები, რომლებიც არ არსებობს. კატალონიის ღია უნივერსიტეტის წარმომადგენელმა ჟოზეპ კურტო დიასმა ABC-ს განუცხადა, რომ სისტემას ჯერ კიდევ აქვს "სტრუქტურული დამოკიდებულება ადამიანზე". მან მიუთითა შემთხვევაზე, როდესაც მკვლევარებს მოუწიათ მისი მიმართულების შეცვლა კონტრმაგალითების ძიებისკენ.elmundo+1

წინასწარი პუბლიკაციის გამოსვლის შემდეგ, ფიზიკოსმა ანატოლ ვეგნერმა განაცხადა, რომ ერდოშის რამდენიმე "ღია" ამოცანას უკვე ჰქონდა გადაწყვეტა გამოქვეყნებულ ნაშრომებში. ორ შემთხვევაში, როგორც მან დაწერა, ამოცანის ფორმულირება შეიცვალა მას შემდეგ, რაც აგენტმა მისი მტკიცებულებები იპოვა. ესპანეთის სამეცნიერო მედია ცენტრის კომენტარში ნათქვამია, რომ მთლიანი სისტემა ზედმეტად რთულია.sciencemediacentre+1

ნაშრომი მოჰყვა სექტემბრის ღია წერილს, რომელშიც ფილდსის მედლის 25 მფლობელმა, მათ შორის ტერენს ტაომ, გააფრთხილა საზოგადოება მათემატიკის პასუხების მიღების რბოლად გადაქცევის წინააღმდეგ. სვარატ ჩაუდჰურიმ, DeepMind-ის ერთ-ერთმა ავტორმა, El Mundo-ს განუცხადა, რომ ამ სისტემებს "ჯერ კიდევ სჭირდებათ ადამიანის ხელმძღვანელობა, რათა გადაწყვიტონ, რომელი ამოცანები ამოხსნან და საჭიროებენ შედეგების ფრთხილად გადამოწმებას". მან დაამატა: "საბოლოო ჯამში, მათემატიკა ადამიანური საქმიანობაა."elmundo