Google DeepMind-ის მკვლევარებმა წარმოადგინეს სისტემა AlphaProof Nexus, რომელმაც მათემატიკურ სამყაროში მნიშვნელოვანი გარღვევა მოახდინა. ხელოვნურმა ინტელექტმა მოახერხა ათწლეულების განმავლობაში გადაუჭრელი მათემატიკური ამოცანების ამოხსნა.

ყველაზე შთამბეჭდავი ამ მიღწევაში არის მისი ფინანსური მხარე. სისტემამ ამოცანების დასაძლევად მხოლოდ რამდენიმე ასეული დოლარის ღირებულების რესურსი გამოიყენა, რაც რადიკალურად ამცირებს მეცნიერული კვლევებისთვის საჭირო დანახარჯებს.

რა არის AlphaProof Nexus?

AlphaProof Nexus არის DeepMind-ის მიერ შემუშავებული მოწინავე არქიტექტურა. იგი სპეციალიზებულია ფორმალური მათემატიკური მსჯელობისა და დამტკიცებების პროცესში. სისტემა არა უბრალოდ ითვლის, არამედ აანალიზებს ლოგიკურ თანმიმდევრობებს.

ტექნოლოგია ეფუძნება ახალ მიდგომას, რომელიც აერთიანებს დიდ ენობრივ მოდელებსა და მათემატიკური დამტკიცების ინსტრუმენტებს. ამ კომბინაციამ შესაძლებელი გახადა იმ პრობლემების გადაჭრა, რომლებიც მანამდე მხოლოდ ადამიანური ინტელექტის ფარგლებში მოიაზრებოდა.

რატომ არის ეს მნიშვნელოვანი?

  • ეფექტურობა: სისტემა მუშაობს გაცილებით იაფად, ვიდრე ნებისმიერი ალტერნატიული მეთოდი.
  • სიზუსტე: AlphaProof-ის მიერ წარდგენილი დამტკიცებები მოწმდება ფორმალური ლოგიკით.
  • სისწრაფე: ათწლეულების ამოცანები, რომლებზეც მეცნიერები წლობით მუშაობდნენ, ახლა დღეებში ან საათებში იჭრება.

ეს მიღწევა კიდევ ერთხელ ადასტურებს, რომ ხელოვნური ინტელექტი ხდება არა მხოლოდ დამხმარე, არამედ დამოუკიდებელი მკვლევარი ინსტრუმენტი. ის ცვლის თამაშის წესებს მათემატიკურ ფუნდამენტურ მეცნიერებებში.

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