Sawijining model OpenAI ngrampungaké masalah jarak satuan sing wis 80 taun, mbantah konjektur utama ing geometri diskret lan nandhani tonggak penting ing matématika sing didorong AI.

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

Kita ngrilis subset SWE-bench sing wis divalidasi manungsa lan luwih andal kanggo ngevaluasi kemampuan model AI ngrampungake masalah piranti lunak ing donya nyata.

OpenAI lan Los Alamos National Laboratory lagi kerja kanggo ngembangake evaluasi keamanan guna netepake lan ngukur kapabilitas biologis lan risiko sing gegayutan karo model tercanggih.

Kami ngumumake GPT-4 Omni, model unggulan anyar kami sing bisa nalar lintas audio, visi, lan teks kanthi wektu nyata.

Kita wis nggawe GPT-4, tonggak paling anyar ing upaya OpenAI kanggo nggedhèkaké sinau jero. GPT-4 iku model multimodal gedhé (nampa input gambar lan teks, ngasilaké output teks) sing, sanajan kurang mumpuni tinimbang manungsa ing akèh skenario donya nyata, nuduhaké kinerja tingkat manungsa ing macem-macem benchmark profesional lan akademik.

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.