Google DeepMind-ის AlphaProof Nexus-მა ათეულობით ღია მათემატიკური ამოცანა გადაჭრა

ცხრა Erdős-ის პრობლემა და 44 ჰიპოთეზა

Google DeepMind-ის AI სისტემამ AlphaProof Nexus-მა დამოუკიდებლად გადაჭრა ათეულობით ღია მათემატიკური ამოცანა, რაც დასტურდება Science-ში გამოქვეყნებული რეცენზირებული კვლევით. სისტემამ 353 ღია Erdős-ის პრობლემიდან ცხრა გადაჭრა, რომელთაგან ორი 56 წლის განმავლობაში გადაუჭრელი რჩებოდა.

გუნდმა ეს ამონახსნები სტატიის გამოქვეყნებამდე ონლაინ გააზიარა. Erdős-ის პრობლემების გარდა, AlphaProof Nexus-მა დაამტკიცა 44 ჰიპოთეზა OEIS-ის მთელი რიცხვების მიმდევრობების ბაზიდან, გადაჭრა ღია საკითხი ალგებრულ გეომეტრიაში და გააუმჯობესა ცნობილი ზღვარი min-max ოპტიმიზაციაში, ტექნიკაში, რომელიც ზოგიერთი AI მოდელის წვრთნისთვის გამოიყენება.

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

AlphaProof Nexus აგებულია Gemini 3,1 Pro-ზე, რომელიც ქმნის და ასწორებს მტკიცებულებებს ფორმალურ ენა Lean-ში. Lean ამოწმებს ყოველ მონახაზს ყოველი ცვლილების შემდეგ, შეცდომების შეტყობინებები კი შემდეგ მცდელობას წარმართავს.

უფრო რთული ქვეამოცანებისთვის სისტემას შეუძლია მიმართოს AlphaProof-ს, სპეციალიზებულ მტკიცების ხელსაწყოს. Google DeepMind იუწყება, რომ AlphaProof-ის გარეშეც კი სისტემამ ცხრა Erdős-ის პრობლემა გადაჭრა.

რეცენზირება AI მათემატიკის დებატების ფონზე

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

DeepMind-მა სამაგიეროდ თავისი ნაშრომი რეცენზირებაზე გაატარა, შედეგები კი Science-ში გამოქვეყნდა.

წყაროები: The Decoder