Un modelo de OpenAI resolvió el problema de la distancia unitaria, planteado 80 años atrás, refutando una importante conjetura de la geometría discreta y marcando un hito en las matemáticas impulsadas por 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.

Estamos lanzando un subconjunto de SWE-bench validado por humanos que evalúa de forma más fiable la capacidad de los modelos de IA para resolver problemas reales de software.

OpenAI y el Laboratorio Nacional de Los Álamos están colaborando para desarrollar evaluaciones de seguridad con el fin de evaluar y medir las capacidades biológicas y los riesgos asociados con los modelos más recientes.

Presentamos GPT-4 Omni, nuestro nuevo modelo insignia capaz de razonar a través de audio, imagen y texto en tiempo real.

Hemos creado GPT-4; el último hito en los esfuerzos de OpenAI para impulsar el<i> </i>aprendizaje profundo. GPT-4 es un modelo multimodal de gran tamaño (admite entradas de texto e imagen y genera salidas en texto) que, aunque tiene un rendimiento inferior al humano en muchos contextos del mundo real, alcanza un nivel de desempeño similar al humano en diversos bancos de pruebas profesionales y académicos.

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.