OpenAI-ის ცნობით, მისმა ახალმა მოდელმა Astra-მ 10 გადაუჭრელი მათემატიკური ამოცანა ამოხსნა

OpenAI-მ 1 აგვისტოს გამოაცხადა, რომ Astra-ს, მისი შემდეგი ძირითადი მოდელების ოჯახის შიდა ვერსიამ, მათემატიკასა და თეორიულ კომპიუტერულ მეცნიერებაში ათი ხანგრძლივი ღია ამოცანის გადაწყვეტა შეძლო, რასაც Sol API-ის ტარიფებით სულ რაღაც 2000 დოლარის ინფერენციის ხარჯი დასჭირდა.openai

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

რა ამოხსნა Astra-მ

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

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

მანჩესტერის უნივერსიტეტის მათემატიკოსმა, თომას ბლუმმა, ეს შედეგები შეაფასა როგორც "დიდი სიახლე" და "მნიშვნელოვანი ნაბიჯი".forklog

Astra ჯერ არ გამოშვებულა

Astra საჯაროდ არ გამოშვებულა. სემ ოლტმენმა მოდელი აშშ-ის სენატორებსა და რეგულატორებს ვაშინგტონში ივლისის ბოლოს წარუდგინა, და ის შესაძლოა პირველი სისტემა იყოს, რომელიც ტრამპის ადმინისტრაციის მიერ დაგეგმილი ხელოვნური ინტელექტის მოდელების გამოშვებამდელი შეფასების ჩარჩოს ფარგლებში წარდგება. The Information News Corp ↘ 1.67%-ის ცნობით, OpenAI-ს ჯერ არ გადაუწყვეტია, Astra გამოვა როგორც GPT-6 თუ როგორც GPT-5 ხაზის ვარიანტი, და გამოშვების თარიღი დადგენილი არ არის.softonic+2

ნოამ ბრაუნმა, Astra-ს მსჯელობის ტექნოლოგიის თანაავტორმა, აღნიშნა, რომ მოდელმა ვერ შეძლო ათასწლეულის პრიზის ამოცანების ამოხსნა, შვიდი შეკითხვა, რომლებიც კლეის მათემატიკის ინსტიტუტმა 2000 წელს მათემატიკაში ყველაზე მნიშვნელოვნად დაასახელა. OpenAI-მ პირდაპირ განაცხადა: "სრულად AI სისტემის მიერ გენერირებულ დამტკიცებაზე ადამიანის ავტორობის მითითება არასწორად წარმოაჩენდა როგორც სისტემის წვლილს, ასევე ნამდვილი ადამიანური ინტელექტუალური შრომის ბუნებას".forklog+1