Newsletter Subscribe
Enter your email address below and subscribe to our newsletter
[forminator_form id="25163"]

anthropic+1theaiinsider+1theaiinsider+1Anthropic-ის Claude AI-ის ჯერ კიდევ გამოუშვებელმა კვლევითმა ვერსიამ რიმანის ჰიპოთეზასთან დაკავშირებულ საკვანძო მათემატიკურ ზღვარში ყველაზე დიდი ერთჯერადი გაუმჯობესება აჩვენა: კრიტიკულ წრფეზე რიმანის ძეტა-ფუნქციის არატრივიალური ნულების პროპორციის დამტკიცებული ქვედა ზღვარი 41.6%-დან 67.2%-მდე გაზარდა.
Anthropic-მა ეს შედეგი 10 აგვისტოს გამოაცხადა და მას უწოდა გვერდითი, მოულოდნელი პროდუქტი მცდელობისა, რომელიც თავად რიმანის ჰიპოთეზის ამოხსნას ისახავდა მიზნად. ეს პრობლემა 1859 წლიდან გადაუჭრელია და კლეის მათემატიკის ინსტიტუტის მიერ დაწესებულ 1 მილიონ დოლარიან ჯილდოს ითვალისწინებს.anthropic
ექსპერიმენტი დაიწყო მაშინ, როდესაც Anthropic-ის თანამშრომელმა ჯარედ სამნერმა, რომელიც მათემატიკოსი არ არის, Claude-ს მისცა დავალება, „სერიოზულად შეჭიდებოდა“ რიმანის ჰიპოთეზას და ყველა მათემატიკური გადაწყვეტილება თავად მოდელს მიანდო. Claude ამ ამოცანაში ჩაიჭრა, თუმცა სრულიად სხვა რამეს მიაგნო.anthropic
Claude Code-ში მუშაობის ორი სესიის განმავლობაში მოდელმა 31 მილიონი გამომავალი ტოკენი დააგენერირა. პირველმა მცდელობამ დაახლოებით 650 წარუმატებელი იდეა წარმოშვა. ამის შემდეგ, Claude-მა დღენახევრის განმავლობაში კოორდინაცია გაუწია დაახლოებით 60 სუბაგენტს, შეასრულა 2400 shell-ბრძანება და დაწერა ასობით Python-სკრიპტი. სუბაგენტებმა ათასობით რიცხვითი შემოწმება ჩაატარეს ძეტა-ფუნქციის ცნობილ ნულებზე და ერთმანეთის ნამუშევრები გადაამოწმეს.theaiinsider+1
სამნერის მონაწილეობა ძირითადად შემოიფარგლებოდა გამამხნევებელი შეტყობინებებით, როგორიცაა „გააგრძელე“ და „გჯეროდეს საკუთარი თავის“. Anthropic-ის თქმით, ეს დაეხმარა Claude-ს დაეძლია საწყისი სკეპტიციზმი იმის შესახებ, რომ მას შეეძლო პროგრესის მიღწევა ასეთ კარგად შესწავლილ პრობლევაზე.anthropic
ეს შედეგი არ ამტკიცებს რიმანის ჰიპოთეზას, რადგან ამისთვის საჭირო იქნებოდა იმის ჩვენება, რომ არატრივიალური ნულების 100% კრიტიკულ წრფეზე მდებარეობს. ამის ნაცვლად, Claude-მა გააერთიანა მათემატიკოსების: ბალუიოტის, გოლდსტონის, სურიაჯაიასა და ტერნეიჯ-ბატერბოს ბოლოდროინდელი ნაშრომები (რომლებმაც განავითარეს ჰიუ მონტგომერის მიერ 1973 წელს შემოთავაზებული ტექნიკა) ენრიკო ბომბიერის 2000 წლის ნაშრომთან.theaiinsider+1
წინა, 41.6%-იანი ზღვარი ადამიანების მიერ ათწლეულების განმავლობაში მიღწეულ ნაბიჯ-ნაბიჯ პროგრესს წარმოადგენდა. Claude-მა ეს მინიმუმი ერთბაშად თითქმის გააორმაგა. Anthropic-ის ტექნიკურ აღწერაში აღნიშნულია, რომ მთავარი მიგნება იყო კრიტიკულ წრფეზე და მის გარეთ არსებული ნულების განხილვა ერთიან მათემატიკურ სტრუქტურაში და არა ცალ-ცალკე.anthropic+1
Anthropic-ის ორმა მათემატიკოსმა, ლევენტ ალპოგიმ და რალფ ფურმანმა, შეისწავლეს ნამუშევარი. გარე რიცხვთა თეორიტიკოსებმა, ბრაიან კონრიმ და დენ გოლდსტონმა, ასევე მოკლე დროში განიხილეს ნაშრომი. გარდა ამისა, Claude-მა შექმნა ფორმალური მტკიცებულება Lean-ში, რომელიც გადის სტანდარტულ ვერიფიკაციას.neowin+1
Anthropic-მა გამოაქვეყნა Claude-ის ნაშრომი, პროცესის დეტალური ტრანსკრიპტები და GitHub-ის რეპოზიტორია, რომელიც შეიცავს Lean-ის ფორმალიზაციას. კომპანიამ გააფრთხილა საზოგადოება, რომ Claude-ის ტექნიკებისგან არ უნდა ველოდოთ რიმანის სრული ჰიპოთეზის დამტკიცებას.anthropic+1
ეს შედეგი კიდევ ერთი დასტურია ხელოვნური ინტელექტის მზარდი წვლილისა ღია მათემატიკური პრობლემების გადაჭრაში. უფრო ადრე, 2026 წელს, Anthropic-ის მკვლევარმა გამოიყენა Claude-ის უფრო ახალი მოდელი იაკობის ჰიპოთეზის (Jacobian conjecture) უარსაყოფად, რაც კიდევ ერთი დიდი ხნის გადაუჭრელი პრობლემა იყო. Anthropic-მა ეს მიგნება წარმოაჩინა არა როგორც საპრიზო პრობლემის გადაჭრა, არამედ როგორც მტკიცებულება იმისა, რომ ხელოვნური ინტელექტის სისტემები იწყებენ არსებული მათემატიკური კვლევების გაფართოებას და არა მხოლოდ ცნობილი შედეგების რეპროდუცირებას.officechai+1