ხელოვნურმა ინტელექტმა ათწლეულების წინანდელი მათემატიკური ამოცანები გადაჭრა

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

ექიმი, ჩატბოტი და 22 წლის ჰიპოთეზა

ჯინ შანმუმ, პეკინის კავშირის სამედიცინო კოლეჯის საავადმყოფოს ნეიროქირურგიის რეზიდენტმა და პოსტდოქტორანტმა, OpenAI-ის ChatGPT-ის გამოყენებით კრუზეის ჰიპოთეზა დაამტკიცა, რომელიც ფრანგმა მათემატიკოსმა მიშელ კრუზეიმ 2004 წელს წამოაყენა. South China Morning Post-ის ცნობით, ჯინმა ChatGPT Work პლატფორმაზე GPT-5.6-Sol 16 საათის განმავლობაში ავტონომიურად აამუშავა და მოდელმა სრული მტკიცებულება წარმოადგინა.scmp

ჯინი პროფესიით მათემატიკოსი არ არის. მან ბაკალავრიატში გეოლოგია შეისწავლა, შემდეგ კი სამედიცინო სკოლაში ჩააბარა. ის ტრანსკრანიალურ ულტრაბგერებს იკვლევდა, როდესაც მატრიცული ანალიზის სფეროში აღმოჩნდა. ჰიპოთეზა ამბობს, რომ მატრიცაზე გამოყენებული ნებისმიერი ფუნქცია იძლევა შედეგს, რომელიც არ აღემატება ამ მატრიცის რიცხვით დიაპაზონზე ფუნქციის მაქსიმალური მნიშვნელობის ორმაგს, რაც ამ სფეროში დიდი ხნის განმავლობაში არსებული აბსტრაქტული ბარიერი იყო.interestingengineering+1

ალექს თაუნსენდმა, კორნელის უნივერსიტეტის მათემატიკოსმა, რომელიც თავად ცდილობდა ხელოვნური ინტელექტის დახმარებით ამ პრობლემის გადაჭრას, 30 ივლისს აღმოაჩინა, რომ ChatGPT-მ აცნობა, თითქოს ჰიპოთეზა უკვე გადაჭრილი იყო. თაუნსენდმა შეამოწმა ჯინის ხელნაწერი და გაუზიარა ვაშინგტონის უნივერსიტეტის პროფესორ ენ გრინბაუმს და თავად კრუზეის, რომლებმაც დაადასტურეს, რომ მტკიცებულება სწორია.interestingengineering

Claude რიმანის ჰიპოთეზის წინააღმდეგ

ცალკე, კომპანია Anthropic-მა გამოაცხადა, რომ მისი Claude მოდელის კვლევითმა ვერსიამ გააუმჯობესა 167 წლის რიმანის ჰიპოთეზასთან დაკავშირებული ზღვარი, რითაც რიმანის ზეტა-ფუნქციის ნულების წილი კრიტიკულ წრფეზე 41.6%-დან 67.2%-მდე გაზარდა. ამ ნაშრომს თავად ჰიპოთეზა არ დაუმტკიცებია, მაგრამ წარმოადგენს მნიშვნელოვან წინსვლას დაკავშირებულ პრობლემაში, სადაც ათწლეულების განმავლობაში მხოლოდ მცირე პროგრესი შეინიშნებოდა.datacamp+1

მუშაობა დაიწყო მას შემდეგ, რაც Anthropic-ის თანამშრომელმა ჯარედ სამნერმა Claude-ს რიმანის ჰიპოთეზის გადაჭრა სთხოვა. რამდენიმე დღის განმავლობაში დაახლოებით 650 იდეის წარუმატებელი ცდის შემდეგ, სამნერმა მოდელს გაამხნევა შეტყობინებებით, როგორიცაა "განაგრძე" და "გჯეროდეს საკუთარი თავის". Claude-მა შემდეგ დღენახევარი დახარჯა საკუთარი 60 ასლის კოორდინაციაში, 31 მილიონი გამომავალი ტოკენის მოხმარებით, სანამ შედეგს მიაღწევდა. The Wall Street Journal News Corp ↗ 0.73%-ის თანახმად, სტენფორდის რიცხვთა თეორიის სპეციალისტმა ამას უწოდა "ყველაზე გამორჩეული შედეგი, რაც ხელოვნურმა ინტელექტმა მათემატიკაში დღემდე შექმნა".wsj+1

ჩამოყალიბებული ნიმუში

ეს შედეგები მოჰყვა OpenAI-ის მაისის განცხადებას, რომ შიდა მოდელმა უარყო ერდოშის ერთეულოვანი მანძილის ჰიპოთეზა, პრობლემა, რომელიც 1945 წლიდან არსებობს. ივლისის ბოლოს OpenAI-მა ასევე გამოაქვეყნა ათი მათემატიკური და კომპიუტერული მეცნიერების მიღწევის სია, რომელიც მისმა მოდელებმა განახორციელეს. მიღწევების სწრაფი თანმიმდევრობა ამყარებს მათემატიკოს ტერენს ტაოს პროგნოზს, რომ 2026 წლის დონის ხელოვნური ინტელექტი გახდება "სანდო თანაავტორი მათემატიკურ კვლევებში".phys+3