OpenAI моделі 80 жылдық бірлік қашықтық есебін шешіп, дискретті геометриядағы маңызды жорамалды теріске шығарды және ЖИ көмегімен жасалған математикадағы маңызды белесті белгіледі.

We’ve simplified, stabilized, and scaled continuous-time consistency models, achieving comparable sample quality to leading diffusion models, while using only two sampling steps.

Біз SWE-bench-тің адам тексерген ішкі жиынын шығарамыз, ол AI модельдерінің нақты бағдарламалық мәселелерді шешу қабілетін сенімдірек бағалайды.

OpenAI және Лос-Аламос ұлттық зертханасы озық модельдерге байланысты биологиялық мүмкіндіктер мен тәуекелдерді бағалау және өлшеу үшін қауіпсіздік бағалауларын әзірлеп жатыр.

Біз аудио, көру және мәтін арасында нақты уақытта ой қорыта алатын жаңа негізгі моделіміз GPT-4 Omni-ді таныстырамыз.

Біз GPT-4-ті жасадық — бұл OpenAI-дің терең оқытуды масштабтау бағытындағы жұмысының ең жаңа белесі. GPT-4 — үлкен мультимодальды модель (кескін және мәтін кірістерін қабылдап, мәтін шығыстарын береді); ол көптеген шынайы жағдайларда адамдардан әлсіздеу болса да, түрлі кәсіби және академиялық бенчмарктарда адам деңгейіндегі нәтижелер көрсетеді.

We built a neural theorem prover for Lean that learned to solve a variety of challenging high-school olympiad problems, including problems from the AMC12 and AIME competitions, as well as two problems adapted from the IMO.