Ein OpenAI-Modell löste das 80 Jahre alte Problem der Einheitsabstände, widerlegte eine wichtige Vermutung der diskreten Geometrie und markierte einen Meilenstein für KI-gestützte Mathematik.

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

We’re releasing a human-validated subset of SWE-bench that more reliably evaluates AI models’ ability to solve real-world software issues.

OpenAI and Los Alamos National Laboratory are working to develop safety evaluations to assess and measure biological capabilities and risks associated with frontier models.

GPT-4 Omni ist da, unser neues Flagship-Modell mit Reasoning für Audio, visuelle Eingaben und Text in Echtzeit.

Wir haben GPT-4 entwickelt, den neuesten Meilenstein von OpenAI zu Erweiterung von Deep Learning. GPT-4 ist ein großes multimodales Modell (das Bild- und Texteingaben akzeptiert und Textausgaben ausgibt). Es ist zwar in vielen realen Szenarien weniger leistungsfähig als Menschen, zeigt jedoch bei verschiedenen professionellen und akademischen Benchmarks eine Leistung auf menschlichem Niveau.

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.