OpenAI

Wiadomości, premiery modeli i praktyczne poradniki o OpenAI: GPT, Sora i API OpenAI.

Najnowszy

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

openai9 października 202610 min czytania

Twierdzenia OpenAI w matematyce obnażają wąskie gardło weryfikacji AI

Doniesienia o modelach OpenAI rozwiązujących ważne problemy matematyczne wskazują na głębszy problem: generowanie dowodów tanieje, podczas gdy weryfikacja, przypisywanie autorstwa i publikacja nadal działają w ludzkim tempie.

Wszystkie wpisy

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

openai18 września 202610 min czytania

OpenAI Astra for Law to system AI dla prawa, nie nowy model

Prawnicza premiera OpenAI dotyczy nie tyle nowego modelu bazowego, ile systemu wokół niego: wyszukiwania domenowego, zaufanych narzędzi, uprawnień, benchmarków i ścieżek weryfikacji.

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

openai11 września 202610 min czytania

Twierdzenie OpenAI o dowodzie dla Naviera–Stokesa — wyjaśnienie

OpenAI twierdzi, że agenci AI znaleźli osobliwość w równaniach Naviera–Stokesa i sformalizowali dowód w Lean. Trudniejsza część tej historii dopiero się zaczyna: recenzja, uznanie autorstwa i siła prywatnych rojów agentów w matematyce.