OpenAI

News, Modell-Releases und Praxis-Guides rund um OpenAI: GPT, Sora und die OpenAI-API.

Neueste

$Abstract desk scene with blank papers, geometric forms, and a glowing network suggesting AI-assisted mathematics.$

openai9. Oktober 202611 Min. Lesezeit

OpenAIs Mathematik-Behauptungen zeigen den Verifikationsflaschenhals der KI

Berichte über OpenAI-Modelle, die große mathematische Probleme lösen, zeigen ein tieferes Thema: Beweise zu erzeugen wird günstiger, während Verifikation, Zuschreibung und Veröffentlichung weiter im menschlichen Tempo laufen.

Alle Beiträge

Abstract legal research workspace with documents, search nodes and governance controls.

openai18. September 202610 Min. Lesezeit

OpenAIs Astra for Law ist ein juristisches KI-System, kein neues Modell

OpenAIs juristischer Launch dreht sich weniger um ein neues Foundation Model als um das System darum: Domain-Retrieval, vertrauenswürdige Tools, Berechtigungen, Benchmarks und Prüfpfade.

Abstract fluid vortex with geometric proof structures and a glowing verification grid.

openai11. September 202611 Min. Lesezeit

OpenAIs Navier–Stokes-Beweisbehauptung, erklärt

OpenAI sagt, KI-Agenten hätten eine Navier–Stokes-Singularität gefunden und den Beweis in Lean formalisiert. Die schwierigere Geschichte ist, was danach kommt: Prüfung, Anerkennung und die Macht privater Agentenschwärme in der Mathematik.