ხელოვნური ინტელექტი ყოველკვირეულად ახალი მათემატიკური ამოცანების გადაჭრას გვთავაზობს, თუმცა ამ შედეგების ავტომატური შემოწმება ხშირად ხარვეზიანია. სტარტაპი Axiom Math მიზნად ისახავს მათემატიკური საფუძვლების ვერიფიკაციას, რათა AI აგენტებმა შეძლონ სანდო მონაცემებზე დაყრდნობით პროგრამული უზრუნველყოფის შექმნა და სამეცნიერო კვლევების წარმოება.
კომპანიამ ოფიციალურად დაასრულა Stacks Project-ის ვერიფიკაცია, რომელიც მათემატიკური ცოდნის ერთ-ერთ ყველაზე მასშტაბურ ბაზას წარმოადგენს. Axiom-ის AI აგენტებმა პროექტის დაახლოებით 7,654 გვერდი 16 მილიონ ხაზამდე კომპიუტერულ კოდში გადაიყვანეს. ეს პროცესი ეფუძნება Lean პროგრამირების ენას, სადაც სპეციალური პროგრამა ამოწმებს თითოეულ მტკიცებულებას ლოგიკური სიზუსტისთვის.
Axiom-ის დამფუძნებლის, კარინა ჰონგის თქმით, მათ შექმნეს მოდელები, რომლებიც სპეციალიზებულნი არიან მათემატიკურ ვერიფიკაციაში. ეს მიდგომა საშუალებას აძლევს AI აგენტებს, იმუშაონ პარალელურ რეჟიმში და დამოუკიდებლად გადაჭრან კომპლექსური ამოცანები. შედეგად, ალგებრული გეომეტრიის სფეროში, რომელიც აქამდე ნაკლებად იყო ფორმალიზებული, მკვლევარებს უკვე აქვთ მყარი საფუძველი ახალი აღმოჩენებისთვის.
კომპანიის ხედვით, მომავლის პროგრამული უზრუნველყოფა უნდა ეფუძნებოდეს ვერიფიცირებულ მათემატიკურ ბაზებს. ეს მიდგომა აგენტებს საშუალებას მისცემს, თავიდან აიცილონ არასწორი საინჟინრო გადაწყვეტილებები და შექმნან უფრო სტაბილური ციფრული ინფრასტრუქტურა. Axiom Math-ის გუნდი დარწმუნებულია, რომ მათემატიკური ფორმალიზაცია არის ის ფუნდამენტი, რომელიც ხელოვნურ ინტელექტს შეცდომებისგან დაიცავს.
წყარო: techcrunch.com
