Autor

Redakcja

3 Articles

Mistral prezentuje Leanstral 1.5. Model AI ma dowodzić twierdzenia i weryfikować kod

Leanstral 1.5 to wyspecjalizowany model Mistral AI do Lean 4, automatycznego dowodzenia twierdzeń i formalnej weryfikacji właściwości...

Google rozbudowało Genkit o Agents API – warstwę upraszczającą obsługę historii, stanu, narzędzi, streamingu i systemów...

xAI uruchomiło Grok Voice Agent Builder – platformę no-code do tworzenia agentów głosowych AI, integrującą telefonię, wiedzę,...