OpenAI-ის Astra-მ მათემატიკის ათი ღია პრობლემა გადაჭრა — რას ნიშნავს ეს
OpenAI-ის ცნობით, მომავალი მოდელის Astra-ს შიდა ვერსიამ მათემატიკასა და თეორიულ კომპიუტერულ მეცნიერებაში ათი შედეგი მიიღო — Lean სერტიფიკატები GitHub-ზე და დაახლოებით 2000 დოლარის გამოთვლითი ხარჯი.
რა მოხდა: ათი ღია პრობლემა, ათი შედეგი
2026 წლის 1 აგვისტოს OpenAI-მ განაცხადა, რომ მისი მომავალი მოდელის, Astra-ს შიდა ვერსიამ მათემატიკასა და თეორიულ კომპიუტერულ მეცნიერებაში ათი ახალი შედეგი მიიღო; თითოეული სულ მცირე ათი წელი ღია პრობლემას ეხება. კომპანიამ გამოაქვეყნა 249 გვერდიანი ხელნაწერი და ათივე შედეგისთვის მანქანურად შესამოწმებელი Lean 4 სერტიფიკატი GitHub-ზე.
მთავარი მიღწევა არასოფიური ჯგუფის პირველი აშკარა კონსტრუქციაა — კითხვა ღიაა მას შემდეგ, რაც მიხეილ გრომოვმა სოფიურობა 1999 წელს შემოიტანა, და 27 წელია არ არის გადაჭრილი.
რატომ არის მნიშვნელოვანი
Astra-მ ასევე უარყო კონის სიმყარის ჰიპოთეზა, დაამტკიცა ერჰარტის მოცულობის ჰიპოთეზა და გადაჭრა პოლ ერდიოშის კატალოგის სამი ამოცანა, მათ შორის 183-ე. მან მოიტანა პირველი გაუმჯობესება 1978 წლის შემდეგ მაღალგანზომილებიანი სფეროთა შეფუთვის სიმკვრივის ზედა ზღვარში.
OpenAI-ის მათემატიკური კვლევის ხელმძღვანელმა სებასტიენ ბუბეკმა შედეგები X-ზე „მშვენიერი" უწოდა და აღნიშნა, რომ თითოეულს თან ახლავს Lean სერტიფიკატი. OpenAI-ის ცნობით, ათივე ამოხსნა Sol API-ის ტარიფებით დაახლოებით 2000 დოლარი დაჯდა.
რას ნიშნავს ეს
განცხადება მათემატიკოსებთან დავის ფონზე გაკეთდა: ივნისში მათემატიკის საერთაშორისო კავშირის მიერ მხარდაჭერილი ლეიდენის დეკლარაცია აფრთხილებდა, რომ შედეგები რეცენზირებული ჟურნალების ნაცვლად ბლოგებით ცხადდება. OpenAI-ის პასუხი გადამოწმებადობაა — ნებისმიერს Lean-ის კომპილატორით შეუძლია მტკიცებულებების დამოუკიდებლად შემოწმება. ტომას ბლუმმა, erdosproblems-ის ავტორმა, შედეგებს „დიდი ამბავი" უწოდა. როდის გამოვა Astra, OpenAI ჯერ არ ამბობს.