Lean 4

კრიტიკოსები OpenAI-ის Astra-ს მათემატიკურ მიღწევებს გადაჭარბებულს უწოდებენ

1 აგვისტოს OpenAI-მ განაცხადა, რომ მისმა გამოუქვეყნებელმა Astra-ს მოდელების ოჯახმა გადაჭრა 10 ხანგრძლივი ღია პრობლემა მათემატიკასა და თეორიულ კომპიუტერულ მეცნიერებაში. კომპანიამ GitHub-ზე გამოაქვეყნა 249-გვერდიანი ხელნაწერი და Lean 4-ის სრულად ვერიფიცირებული მტკიცებულებები. შედეგები მოიცავს ისეთ სფეროებს, როგორიცაა მაღალგანზომილებიანი გეომეტრია, კოდირების თეორია,…

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

OpenAI-მ შაბათს განაცხადა, რომ მისმა შიდა მოდელმა Astra-მ ახალი შედეგები აჩვენა მათემატიკისა და თეორიული კომპიუტერული მეცნიერების 10 ამოცანაში, რომლებიც ათწლეულზე მეტია გადაუჭრელი რჩებოდა. კომპანიამ წარმოადგინა მანქანურად შემოწმებადი მტკიცებულებები თითოეული შედეგისთვის. OpenAI-ის ცნობით, 10-ვე ამოცანის ამოხსნისთვის საჭირო ტოკენების ღირებულებამ, მიმდინარე API…