Un model d’OpenAI va resoldre el problema de la distància unitària, obert des de fa 80 anys, tot refutant una conjectura clau de la geometria discreta, la qual cosa marca una fita en les matemàtiques impulsades per IA.

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

Publiquem un subconjunt de SWE-bench validat per humans que avalua de manera més fiable la capacitat dels models d'IA per resoldre problemes de programari del món real.

OpenAI i Los Alamos National Laboratory treballen per desenvolupar avaluacions de seguretat que permetin valorar i mesurar les capacitats biològiques i els riscos associats als models d'avantguarda.

Anunciem GPT-4 Omni, el nostre nou model insígnia que pot raonar en àudio, visió i text en temps real.

Hem creat GPT-4, la fita més recent en l'esforç d'OpenAI per escalar l'aprenentatge profund. GPT-4 és un gran model multimodal (accepta entrades d'imatge i text, i emet sortides de text) que, tot i ser menys capaç que els humans en molts escenaris del món real, mostra un rendiment a nivell humà en diversos punts de referència professionals i acadèmics.

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.