რიმანის ჰიპოთეზა, რომელიც მარტივი რიცხვების განაწილებას ეხება, 150 წელზე მეტია მათემატიკის ერთ-ერთ ყველაზე რთულ გამოცანად რჩება. ამ ამოცანის დამტკიცებისთვის დაწესებული 1-მილიონიანი ჯილდო დღემდე არავის მიუღია. მიუხედავად იმისა, რომ თანამედროვე AI მოდელები ჯერ კიდევ ვერ სრულყოფენ ამ დამტკიცებას, Anthropic-ის ახალმა, ჯერ კიდევ გამოუქვეყნებელმა მოდელმა მნიშვნელოვანი პროგრესი აჩვენა.
საინტერესოა, რომ შედეგი მიღწეულ იქნა Anthropic-ის თანამშრომლის მიერ, რომელსაც მათემატიკური განათლება არ გააჩნია. მან მოდელს დაავალა ჰიპოთეზის დამტკიცება, რის შემდეგაც სისტემამ 36 საათის განმავლობაში 60 სუბ-აგენტის კოორდინაციით 650 სხვადასხვა იდეა შეამოწმა. პროცესში გამოყენებულ იქნა 31 მილიონი გამომავალი ტოკენი, ხოლო შედეგები დამოწმდა კომპანიის მათემატიკოსებისა და Lean-ის პროგრამული უზრუნველყოფის მიერ.
ეს მიღწევა LLM-ების მიერ მათემატიკაში დაფიქსირებულ წარმატებათა სერიას აგრძელებს. მიუხედავად იმისა, რომ ზოგიერთი მათემატიკოსი შიშობს, რომ AI საფრთხეს უქმნის დარგის ტრადიციულ ღირებულებებსა და ავტორობის პრინციპს, სხვები, მათ შორის ფილდსის პრემიის ლაურეატი ტიმოთი გაუერსი, მიიჩნევენ, რომ AI-ს გავლენამ შესაძლოა მათემატიკა უფრო კომპლექსური და პოზიტიური მიმართულებით შეცვალოს.
წყარო: techcrunch.com
