OpenAI-მ გამოაქვეყნა კვლევითი ნაშრომი სახელწოდებით Ten advances in mathematics and theoretical computer science, რომელშიც წარმოდგენილია 10 ახალი შედეგი მათემატიკასა და თეორიულ კომპიუტერულ მეცნიერებაში. კომპანიის განცხადებით, შედეგები მიღებულია მისი მომავალი მოდელის, Astra-ს შიდა ვერსიის დახმარებით, ხოლო შემდეგ ადამიანმა მკვლევრებმა ისინი ნაშრომებად ჩამოაყალიბეს და დამატებით Lean-ის ფორმალურ სერტიფიკატებად გადააქციეს, რაც მათემატიკური მტკიცებულებების ავტომატურ გადამოწმებას შესაძლებელს ხდის.
OpenAI ასევე აქვეყნებს თითოეული შედეგის აღწერას, შესაბამის ნაშრომებსა და მოდელის მიერ შექმნილ განმარტებებს, თუ როგორ მივიდა თითოეულ მტკიცებულებამდე. კომპანიის თქმით, ეს პროექტი მიზნად ისახავს AI-ის შესაძლებლობების დემონსტრირებას რეალური სამეცნიერო კვლევის პროცესში და არა მხოლოდ სტანდარტულ მათემატიკურ ამოცანებში.
სარჩევი
OpenAI mathematics advances – რა მოიცავს ახალი შედეგები?
კვლევა აერთიანებს 10 სხვადასხვა მიმართულებას, რომლებიც მოიცავს როგორც სუფთა მათემატიკას, ისე თეორიულ კომპიუტერულ მეცნიერებას. თითოეული მათგანი ეხება ცნობილ ღია პრობლემებს ან არსებულ შედეგებზე მნიშვნელოვან გაუმჯობესებებს.
- High-dimensional sphere packing – ახალი ზედა ზღვარი მაღალი განზომილებების სფეროების შეფუთვის სიმჭიდროვისთვის.
- Binary and spherical codes – მნიშვნელოვნად გაუმჯობესებული საზღვრები ბინარული და სფერული კოდებისთვის.
- Non-sofic groups – არა-სოფიკური ჯგუფების არსებობის კონსტრუქცია.
- Connes’s rigidity conjecture – მრავალწლიანი ჰიპოთეზის უარყოფა von Neumann-ის ალგებრების კონტექსტში.
- Arithmetic circuit complexity – ახალი ქვედა ზღვარი arithmetic circuit-ებისა და formula-ებისთვის.
- Quantum parallel repetition – პარალელური გამეორების თეორემა ორმოთამაშიანი კვანტური თამაშებისთვის.
- Closest vector problem – მიახლოების სირთულის ახალი შედეგი lattice-ებზე დაფუძნებული ამოცანისთვის, რომელიც უკავშირდება post-quantum cryptography-ს.
- Ehrhart’s volume conjecture – ამოზნექილი სხეულების მოცულობის შესახებ ახალი შედეგი ნებისმიერ განზომილებაში.
- Multicolor Ramsey numbers – ახალი ქვედა ზღვარი, რომელიც წყვეტს Erdős-ის 183-ე პრობლემას.
- Extremal number conjectures – შედეგები extremal graph theory-ის compactness და degeneracy conjecture-ებზე, რომლებიც ასევე წყვეტს Erdős-ის ორ პრობლემას.
როგორ მიიღეს ეს შედეგები
OpenAI-ის ინფორმაციით, ყველა შედეგი მიღებულია Astra-ს შიდა ვერსიის გამოყენებით. მოდელმა შექმნა მათემატიკური არგუმენტები, რის შემდეგაც იგივე სისტემა ადამიან მკვლევრებს დაეხმარა ნაშრომების მომზადებაში. საბოლოოდ, თითოეული მტკიცებულება ფორმალიზდა Lean-ის სერტიფიკატის სახით, რაც საშუალებას იძლევა მისი ლოგიკური სისწორე ავტომატურად შემოწმდეს.
კომპანია ასევე აღნიშნავს, რომ თითოეული შედეგისთვის ხელმისაწვდომია მოდელის მიერ გენერირებული განმარტება, რომელიც აღწერს მტკიცებულების მიღების პროცესს. ამასთან, გამოქვეყნებულია შესაბამისი სამეცნიერო მასალებიც, რათა მკვლევრებმა დამოუკიდებლად შეძლონ მათი შეფასება.
რა მნიშვნელობა აქვს ამ გამოცხადებას?
ეს არ არის ერთი კონკრეტული მათემატიკური ამოცანის ამოხსნა. OpenAI-ის ახალი პუბლიკაცია აჩვენებს, რომ AI შეიძლება გამოყენებულ იქნას სხვადასხვა სფეროში არსებული ღია კვლევითი პრობლემების შესასწავლად. წარმოდგენილი შედეგები მოიცავს ჯგუფების თეორიას, კოდირების თეორიას, კვანტურ სირთულეს, lattice-ებზე დაფუძნებულ კრიპტოგრაფიასა და გრაფების თეორიას.
აღსანიშნავია, რომ ეს განცხადება რამდენიმე თვის შემდეგ გამოქვეყნდა, რაც OpenAI-მ დამოუკიდებლად წარმოადგინა კიდევ ერთი მნიშვნელოვანი მათემატიკური შედეგი – მრავალწლიანი დისკრეტული გეომეტრიის ამოცანის გადაწყვეტა. ახალი პუბლიკაცია ამ მიმართულებით კომპანიის კვლევითი საქმიანობის კიდევ უფრო გაფართოებულ სურათს აჩვენებს.
წყაროები
სხვა თემები
Weight-Space Programming: GPT-6 Astra ნეირონული ქსელების წონებს პირდაპირ წერს
OpenAI-მ LifeVal წარადგინა: შეფასების სისტემა
ექსპონენციალური დროის ჰიპოთეზა: Anthropic-ის Claude-მაც 3-SAT-ის ახალი ალგორითმი იპოვა