Claude რიმანის ჰიპოთეზა – ამ მიმართულებით Anthropic-ის ჯერ-ჯერობით არასაჯარო კვლევითმა AI მოდელმა ერთ-ერთ ყველაზე ცნობილ გადაუჭრელ მათემატიკურ პრობლემაზე მუშაობისას მნიშვნელოვანი შედეგი მიიღო. Claude-მა თავად რიმანის ჰიპოთეზა ვერ დაამტკიცა, თუმცა მასთან დაკავშირებულ ამოცანაში რიმანის ძეტა ფუნქციის იმ ნულების ცნობილი ქვედა ზღვარი, რომლებიც ჰიპოთეზას აკმაყოფილებენ, 41.6%-დან 67.2%-მდე გაზარდა.
შედეგი განსაკუთრებით საინტერესოა იმიტომ, რომ Claude-ს თავდაპირველად ამ კონკრეტული მაჩვენებლის გაუმჯობესება არ დაუვალებია. Anthropic-ის თანამშრომელმა Jarred Sumner-მა მოდელს რიმანის ჰიპოთეზის ამოხსნის ცდა შესთავაზა, ხოლო ახალი შედეგი ამ გაცილებით რთულ პრობლემაზე მუშაობის პროცესში გაჩნდა.
სარჩევი
Claude რიმანის ჰიპოთეზის ამოხსნას შეეცადა
რიმანის ჰიპოთეზა 1859 წლიდან არსებობს და დღემდე მათემატიკის ერთ-ერთ ყველაზე მნიშვნელოვან გადაუჭრელ პრობლემად რჩება. ის რიმანის ძეტა ფუნქციის ნულების განაწილებას ეხება და მჭიდროდ არის დაკავშირებული მარტივი რიცხვების განაწილების გაგებასთან.
ჰიპოთეზის მიხედვით, შესაბამისი არატრივიალური ნულები გარკვეულ ვერტიკალურ ხაზზე უნდა მდებარეობდეს. მიუხედავად ათწლეულების განმავლობაში მიღწეული პროგრესისა, დღემდე ვერავინ შეძლო იმის დამტკიცება ან უარყოფა, რომ ეს ყველა შესაბამისი ნულისთვის მართებულია.
პრობლემის მნიშვნელობას ისიც უსვამს ხაზს, რომ რიმანის ჰიპოთეზა Clay Mathematics Institute-ის Millennium Prize Problems-ის ნაწილია და მისი სწორი ამოხსნისთვის 1 მილიონი დოლარის ჯილდოა დაწესებული.
რა აღმოაჩინა Claude-მა?
Claude-მა თავად რიმანის ჰიპოთეზა ვერ ამოხსნა. ამის ნაცვლად, გამოუქვეყნებელმა კვლევითმა ვერსიამ გააუმჯობესა უკვე ცნობილი შედეგი, რომელიც განსაზღვრავს რიმანის ძეტა ფუნქციის ნულების მინიმალურ წილს, რომელთა შესახებაც შესაძლებელია დადასტურება, რომ ისინი ჰიპოთეზით განსაზღვრულ ხაზზე მდებარეობენ.
მანამდე ეს ქვედა ზღვარი 41.6% იყო. Claude-ის მიერ მიღებული შედეგის მიხედვით კი ის 67.2%-მდე გაიზარდა.
ეს არ ნიშნავს, რომ Claude-მა დაამტკიცა რიმანის ჰიპოთეზის 67.2%. საუბარია კონკრეტულ მათემატიკურ ქვედა ზღვარზე – ანუ ახლა შესაძლებელია უფრო მაღალი მინიმალური წილის დადასტურება იმ ნულებისთვის, რომლებიც კრიტიკულ ხაზზე მდებარეობენ.
როგორ მივიდა Claude ახალ შედეგამდე?
Claude-ის შედეგი ნულიდან შექმნილ მათემატიკურ თეორიას არ ეფუძნება. Anthropic პირდაპირ აღნიშნავს, რომ მოდელმა მნიშვნელოვნად გამოიყენა მათემატიკოსების მიერ წინა ათწლეულებში დაგროვილი კვლევები.
კერძოდ, Claude დაეყრდნო Baluyot-ის, Goldston-ის, Suriajaya-სა და Turnage-Butterbaugh-ის ნაშრომებს, რომლებმაც Hugh Montgomery-ის მიერ 1973 წელს შემუშავებული მეთოდების გამოყენება რიმანის ჰიპოთეზის ჭეშმარიტების წინასწარი დაშვების გარეშე გახადეს შესაძლებელი.
Claude-მა ეს მიმართულება ასევე დააკავშირა მათემატიკოს Enrico Bombieri-ის 2000 წლის ნაშრომთან. Anthropic-ის თანახმად, სწორედ ამ შედეგების გაერთიანებამ შექმნა შესაძლებლობა, წინა 41.6%-იანი ზღვარი გადალახულიყო.
Claude-მა თავდაპირველად 650 იდეა სცადა
Anthropic-ის მიერ აღწერილი კვლევის პროცესი თავად შედეგზე არანაკლებ საინტერესოა. ახალი ქვედა ზღვარი Claude-ის გამოუქვეყნებელმა კვლევითმა ვერსიამ Claude Code-ში ჩატარებული ორი სესიის განმავლობაში იპოვა და მთლიანობაში 31 მილიონი output token გამოიყენა.
პირველ ეტაპზე Claude-მა 650 განსხვავებული იდეა შექმნა და გამოსცადა, თუმცა არცერთმა მათგანმა შედეგი არ გამოიღო. ამის შემდეგ Jarred Sumner-მა მოდელს მცდელობის გაგრძელება სთხოვა.
შემდეგი ეტაპი დაახლოებით დღე-ნახევარი გაგრძელდა. ამ პერიოდში Claude დაახლოებით 60 ქვეაგენტის მუშაობას კოორდინირებდა. მათ ერთობლივად 2,400 shell command გაუშვეს, ასობით Python სკრიპტი დაწერეს და ცნობილი ძეტა ნულების გამოყენებით ათასობით რიცხვითი შემოწმება ჩაატარეს.
ქვეაგენტები ერთმანეთის ნამუშევრებსაც ამოწმებდნენ. Anthropic-ის მიხედვით, 60 აგენტიდან ორი ძირითად მათემატიკურ იდეებზე მუშაობდა, 13 მათ იდეებით ეხმარებოდა, 30 ახალი მიდგომების მოძებნას ცდილობდა, კიდევ 13 არგუმენტების სისწორეს ამოწმებდა, ხოლო ორი საწყისი ნაშრომის მომზადებაში მონაწილეობდა.
Claude-მა საკუთარი შედეგის შემოწმებაც დაიწყო
ახალი შედეგის მიღების შემდეგ Claude-მა სხვადასხვა ქვეაგენტს მტკიცებულებების გადამოწმება, შესაძლო საწინააღმდეგო მაგალითების მოძებნა და შედეგის დამოუკიდებლად ხელახლა დამტკიცება დაავალა.
მოდელმა ასევე ჩამოტვირთა 54 სამეცნიერო ნაშრომი arXiv-იდან იმის შესამოწმებლად, ხომ არ იყო მსგავსი შედეგი უკვე მიღებული. საბოლოოდ Claude-მა თავად შესთავაზა შედეგების სამეცნიერო ნაშრომის სახით ჩამოყალიბება და ადამიანის, კერძოდ რიცხვთა თეორიის სპეციალისტის მიერ მათი გადამოწმება.
ვინ გადაამოწმა Claude-ის მათემატიკური შედეგი?
Claude-ის ნაშრომი Anthropic-ის ორმა მათემატიკოსმა – Levent Alpöge-მ და Ralph Furman-მა – შეისწავლა და შეამოწმა. მათ ასევე გააანალიზეს, როგორ უკავშირდებოდა მიღებული შედეგი მანამდე არსებულ მათემატიკურ ნაშრომებს.
Anthropic მადლობას უხდის ამ სფეროს ექსპერტებს Brian Conrey-სა და Dan Goldston-საც, რომლებმაც ნაშრომი მოკლე ვადაში განიხილეს.
ამასთან ერთად, Claude-მა Anthropic-ის კიდევ ერთ თანამშრომელ Eric Easley-სთან ერთად შედეგის Lean-ში ფორმალიზებული ვერსია შექმნა. კომპანიის ინფორმაციით, ფორმალიზაცია სტანდარტულ ვალიდაციის ინსტრუმენტსაც წარმატებით გადის.
რას ნიშნავს Claude-ის 67.2%-იანი შედეგი?
მნიშვნელოვანია ამ ამბის სწორად ინტერპრეტაცია. Claude რიმანის ჰიპოთეზას არ ამოხსნის და Anthropic არც ამტკიცებს, რომ მიღებული მეთოდი საბოლოოდ ჰიპოთეზის სრულ მტკიცებულებამდე მიგვიყვანს.
პირიქით, კომპანია წერს, რომ არ მოელის Claude-ის მიერ გამოყენებული ტექნიკის საშუალებით თავად რიმანის ჰიპოთეზის დამტკიცებას. მიღებული შედეგის მნიშვნელობა სხვა რამეშია – AI მოდელმა არსებული მათემატიკური კვლევების საფუძველზე შეძლო ახალი შედეგის მიღება დაკავშირებულ პრობლემაში.
ეს განსხვავება მნიშვნელოვანია. Claude უბრალოდ ცნობილი მტკიცებულების გამეორებით ან დიდი რაოდენობის ნულების კომპიუტერული შემოწმებით არ შემოფარგლულა. Anthropic-ის მიერ აღწერილი პროცესის შედეგად შეიქმნა მათემატიკური არგუმენტი, რომელიც ადამიანმა მათემატიკოსებმა შეისწავლეს და რომლის ფორმალურად გადამოწმებადი ვერსიაც მომზადდა.
AI-ის როლი მათემატიკურ კვლევებში იზრდება
Anthropic მიღებულ შედეგს AI მოდელების მათემატიკური შესაძლებლობების პროგრესის კიდევ ერთ მაგალითად განიხილავს. განსაკუთრებით საინტერესოა ის გარემოება, რომ ახალი შედეგი თავდაპირველი დავალების პირდაპირი მიზანი საერთოდ არ ყოფილა.
Claude-ს გაცილებით ამბიციური ამოცანა ჰქონდა – რიმანის ჰიპოთეზის ამოხსნის რეალური მცდელობა. ეს მიზანი ვერ შეასრულა, მაგრამ პროცესში მასთან დაკავშირებულ პრობლემაში მანამდე ცნობილ 41.6%-იან ქვედა ზღვარს მნიშვნელოვნად გადააჭარბა.
ეს შემთხვევა აჩვენებს AI-ის შესაძლო როლს სამეცნიერო კვლევებში: მოდელი შეიძლება გამოყენებული იყოს არა მხოლოდ არსებული ცოდნის მოსაძიებლად ან შესაჯამებლად, არამედ მრავალი ჰიპოთეზის სწრაფად შესამოწმებლად, სხვადასხვა კვლევითი მიმართულების დასაკავშირებლად, გამოთვლითი ექსპერიმენტების ჩასატარებლად და მიღებული არგუმენტების მრავალეტაპიანი შემოწმებისთვის.
ამავე დროს, Anthropic-ის აღწერილი პროცესი ადამიანის კონტროლის მნიშვნელობასაც აჩვენებს. Claude-ის მიერ მიღებული შედეგი მათემატიკოსებმა გადაამოწმეს და კომპანიაც მკაფიოდ ასხვავებს ერთმანეთისგან რიმანის ჰიპოთეზის სრულ ამოხსნასა და მასთან დაკავშირებული ქვედა ზღვრის გაუმჯობესებას.
Claude რიმანის ჰიპოთეზა – შედეგი
Claude რიმანის ჰიპოთეზა დამტკიცებამდე ვერ მივიდა, თუმცა ამ მცდელობამ დამოუკიდებლად საინტერესო შედეგი წარმოშვა. გამოუქვეყნებელმა კვლევითმა მოდელმა რიმანის ძეტა ფუნქციის შესაბამისი ნულებისთვის ცნობილი ქვედა ზღვარი 41.6%-დან 67.2%-მდე გაზარდა.
Anthropic-ისთვის ეს მაგალითი მნიშვნელოვანია უფრო ფართო კითხვასთან დაკავშირებითაც – რამდენად შეუძლია თანამედროვე AI-ს მონაწილეობა მიიღოს ისეთ კვლევებში, სადაც პასუხი წინასწარ ცნობილი არ არის. ამ შემთხვევაში Claude-მა საბოლოო დიდი პრობლემა ვერ გადაჭრა, მაგრამ მისკენ მიმავალ გზაზე ახალი მათემატიკური შედეგი მიიღო.
სხვა თემები
AI კიბერტესტები: მოდელებმა რეალური სისტემები გატეხეს
AI სიახლეები: კვირის შეჯამება
Claude Opus 5 გამოვიდა