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.
Najnowszy
Wszystkie wpisy
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.