OpenAI

Nyheder, modeludgivelser og praktiske guides om OpenAI: GPT, Sora og OpenAI-API'en.

Seneste

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

openai9. oktober 202610 min læsning

OpenAIs matematikpåstande afslører AI’s verifikationsflaskehals

Rapporter om OpenAI-modeller, der løser store matematiske problemer, peger på et dybere problem: Bevisgenerering bliver billigere, mens verifikation, attribution og publicering stadig bevæger sig i menneskeligt tempo.

Alle indlæg

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

openai18. september 202610 min læsning

OpenAIs Astra for Law er et juridisk AI-system, ikke en ny model

OpenAIs juridiske lancering handler mindre om en ny grundmodel end om systemet omkring den: domæneretrieval, betroede værktøjer, rettigheder, benchmarks og review-forløb.

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

openai11. september 202610 min læsning

OpenAI's påstand om Navier–Stokes-beviset, forklaret

OpenAI siger, at AI-agenter fandt en Navier–Stokes-singularitet og formaliserede beviset i Lean. Den sværere historie er, hvad der sker nu: gennemgang, kredit og kraften i private agentsværme i matematik.