Anthropic-ის განცხადებით, მისმა ხელოვნურმა ინტელექტმა OpenAI-ს მათემატიკური მიღწევების ნახევარი 24 საათში გაიმეორა

OpenAI-მ შაბათს გამოაცხადა, რომ მისი შემდეგი უმთავრესი ხელოვნური ინტელექტის მოდელის შიდა ვერსიამ, სახელად Astra, ამოხსნა ან არსებითი პროგრესი მიაღწია მათემატიკასა და თეორიულ კომპიუტერულ მეცნიერებაში არსებულ 10 ხანგრძლივ ღია პრობლემაზე. 24 საათის განმავლობაში, Anthropic-ის მკვლევარმა ლევენტ ალფოღლუმ საპასუხო განცხადება გააკეთა და აღნიშნა, რომ მან საჯაროდ ხელმისაწვდომი Claude Fable გამოიყენა ამავე პრობლემებიდან ხუთის დამოუკიდებლად დასაძლევად.

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

Astra-ს მათემატიკური პრეტენზიები

ბლოგპოსტში, სათაურით „ათი წინსვლა მათემატიკასა და თეორიულ კომპიუტერულ მეცნიერებაში“, OpenAI-მ განაცხადა, რომ პრობლემებს „სულ მცირე ათი წლის განმავლობაში მთავარ შედეგზე პროგრესი არ ჰქონიათ“. შედეგები მოიცავს მაღალგანზომილებიან გეომეტრიას, კოდირების თეორიას, არითმეტიკული სქემების სირთულეს, ჯგუფთა თეორიას, ოპერატორულ ალგებრებს, კვანტურ სირთულეს, მესერულ კრიპტოგრაფიასა და ექსტრემალურ კომბინატორიკას.indianexpress+1

ნასახელებ მიღწევებს შორის, Astra-მ დაამტკიცა, რომ არა-სოფიკური ჯგუფები არსებობს: კითხვა, რომელიც ღია იყო 1999 წლიდან, და ამოხსნა ალენ კონის სიხისტის ჰიპოთეზა და ერჰარტის მოცულობის ჰიპოთეზა. OpenAI-მ განაცხადა, რომ დამტკიცებები ფორმალიზებული იყო Lean 4-ში და რომ იგი გამოაქვეყნებდა მოდელის მიერ თავისი მსჯელობის პროცესის აღწერას. კომპანიის შეფასებით, სამუშაოს რეპროდუცირება GPT-5.6 Sol API-ის ტარიფებით დაახლოებით 2,000 დოლარი დაჯდება.openai+3

OpenAI-ს არ წარმოუდგენია ტექნიკური დეტალები Astra-ს არქიტექტურის ან გამოშვების ვადების შესახებ. მათემატიკოსმა ტერენს ტაომ აღნიშნა, რომ ეს პრობლემები, თუმცა რთულია, „ცნობილი ტექნიკით ამოხსნადი“ იყო და არა მათემატიკის ყველაზე ღრმა ამოუხსნელი საკითხები.instagram

Anthropic-ის სწრაფი პასუხი

განცხადებიდან მალევე, ალფოღლუმ X-ზე გამოაქვეყნა პოსტი, სადაც აღნიშნა, რომ Claude Fable-მა 24 საათზე ნაკლებ დროში ამოხსნა იგივე პრობლემებიდან ხუთი: ის მუშაობდა ავტონომიურად, ზოგადი მითითებებითა და ინტერნეტთან წვდომის გარეშე. მის მიერ დასახელებული პრობლემები მოიცავს არითმეტიკული სქემების სირთულეს, კვანტურ პარალელურ განმეორებასა და უახლოესი ვექტორის პრობლემას.moneycontrol+2

ალფოღლუსთვის AI-ის დახმარებით მათემატიკური ამოცანების ამოხსნა უცხო არ არის. ივლისში, ჰარვარდის ყოფილმა საუკეთესო კურსდამთავრებულმა Claude Fable 5 გამოიყენა იაკობის 87-წლიანი ჰიპოთეზის უარყოფისთვის მსოფლიო ჩემპიონატის ფინალის დროს: შედეგი, რომელიც მას შემდეგ დამოუკიდებლად გადამოწმდა. Anthropic-ს არ გამოუქვეყნებია ოფიციალური ნაშრომი ბოლო პრეტენზიების დასადასტურებლად, ხოლო OpenAI-ს საჯარო პასუხი არ გაუცია.fortune+2

ახალი ფრონტი ხელოვნური ინტელექტის რბოლაში

OpenAI-მ აღიარა, რომ AI სისტემები, რომლებსაც მათემატიკურ კვლევებში წვლილის შეტანა შეუძლიათ, აჩენს გადაუჭრელ კითხვებს ავტორობის შესახებ. „მთლიანად AI სისტემის მიერ გენერირებულ დამტკიცებაზე ადამიანის ავტორობის მითითება არასწორად წარმოაჩენს როგორც სისტემის წვლილს, ისე ადამიანის ინტელექტუალურ შრომას“, – დაწერა კომპანიამ. მან ფართო აკადემიურ საზოგადოებას მოუწოდა, დაეხმარონ ავტორობის მიკუთვნების ნორმების შემუშავებაში.indianexpress

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