Katalog numerów
Matematyczny kamień milowy OpenAI, 'Le Chonk' od Mistral i finansowanie DeepSeek w wysokości 15 miliardów dolarów
AINumer codzienny

Matematyczny kamień milowy OpenAI, 'Le Chonk' od Mistral i finansowanie DeepSeek w wysokości 15 miliardów dolarów

OpenAI publikuje 722 matematyczne manuskrypty wygenerowane przez nieopublikowany model, Mistral debiutuje swoim modelem 'Le Chonk' o parametrach 1 biliona, a DeepSeek celuje w rundę finansowania o wartości 15 miliardów dolarów. Tymczasem Anthropic rozszerza swój program weryfikacji cybernetycznej i ujawnia szczegóły IPO, podczas gdy liderzy branży popierają nowy Protokół Osobistego Agenta.

Podcast В· 2 min

01

OpenAI publikuje 722 matematyczne manuskrypty z nieopublikowanego modelu

OpenAI opublikowało 722 matematyczne manuskrypty badawcze wygenerowane przez nieopublikowany model graniczny. Kolekcja obejmuje 372 rodziny wyników w dziedzinach takich jak teoria liczb, informatyka i fizyka. Każdy wynik wymagał około trzech godzin czasu obliczeniowego ChatGPT Pro. Co istotne, wiele dowodów zawiera formalizacje w Lean, umożliwiające mechaniczną weryfikację kroków logicznych, co rozwiązuje kluczowe wyzwanie zapewnienia matematycznej poprawności dowodów generowanych przez AI. OpenAI konsultowało się z grupą doradczą ds. matematyki i AI Instytutu Studiów Zaawansowanych w sprawie publikacji i planuje sfinansować dalsze warsztaty w celu walidacji tych wyników.

02

Mistral AI uruchamia 'Le Chonk' (Large 4)

Francuskie laboratorium AI Mistral AI wprowadziło Large 4, otwarty model o parametrach 1 biliona, nazwany 'Le Chonk'. Firma twierdzi, że model znacząco przewodzi niechińskim otwartym systemom, szczególnie w benchmarkach cyberbezpieczeństwa i prawniczych. Mistral raportuje, że model osiągnął 82% wynik w teście błędów, z którym inne modele graniczne miały trudności. Podczas gdy wagi mają zostać publicznie udostępnione 27 października, eksperci ds. cyberbezpieczeństwa i agencje rządowe otrzymały trzytygodniowy okres podglądu.

03

Runda finansowania DeepSeek może osiągnąć 15 miliardów dolarów

CNBC podaje, że chińskie laboratorium AI DeepSeek obecnie pozyskuje nową rundę finansowania, która może wycenić firmę na maksymalnie 15 miliardów dolarów. Ten znaczący zastrzyk kapitału podkreśla szybkie tempo rozwoju w chińskim sektorze AI oraz intensywną globalną konkurencję o zasoby i udział w rynku wśród laboratoriów modeli granicznych.

04

Prospekt IPO Anthropic ujawnia wynagrodzenia kadry kierowniczej

Prospekt IPO Anthropic został upubliczniony, ujawniając wynagrodzenia kadry kierowniczej na rok 2025. CEO Dario Amodei zarobił 18 milionów dolarów, a prezes Daniela Amodei zarobiła 16,4 miliona dolarów, przy czym większość tych pakietów stanowiły akcje i opcje. Obaj dyrektorzy odnotowali wzrost wynagrodzenia zasadniczego do 1,4 miliona dolarów od lipca 2026 roku, co daje rzadki wgląd w strukturę finansową wiodącego laboratorium AI przygotowującego się do rynków publicznych.

05

Dane a16z: Najlepszy 1% użytkowników AI wydaje 903 dolary miesięcznie

Nowe dane od a16z ujawniają, że najlepszy 1% płacących użytkowników AI wydaje średnio 903 dolary miesięcznie na usługi AI. Ta grupa odpowiada za 19,5% całkowitych wydatków konsumenckich na AI, przewyższając łączne wydatki dolnych 50% użytkowników. Podkreśla to znaczną dysproporcję w intensywności użytkowania i gotowości do płacenia wśród najbardziej aktywnych użytkowników AI.

06

Liderzy branży popierają Protokół Osobistego Agenta

Konsorcjum obejmujące Meta, Sierra, Stripe, Shopify i Walmart ogłosiło wsparcie dla otwartego 'Protokołu Osobistego Agenta'. Inicjatywa ma na celu stworzenie ustandaryzowanych ram autoryzacji agentów AI, umożliwiając jednostkom udzielanie uprawnień, podczas gdy firmy definiują granice operacyjne dla tych agentów. To wspólne działanie ma na celu rozwiązanie rosnącej potrzeby zarządzania, gdy autonomiczni agenci stają się coraz bardziej zintegrowani z przepływami pracy w przedsiębiorstwach i dla konsumentów.

07

Hark uruchamia proaktywnego asystenta AI

Hark, startup AI założony przez Bretta Adcocka z Figure AI, wydał 'Hark Pro'. Asystent jest zaprojektowany jako proaktywny, zdolny do prowadzenia badań, zakupów, rezerwacji i zarządzania zadaniami na platformach internetowych i mobilnych. System wykorzystuje 'Handoff', oparte na chmurze środowisko obliczeniowe, które może zarządzać do 36 przeglądarkami jednocześnie. Firma ogłosiła również plany wydania rodziny urządzeń sprzętowych w 2027 roku, wspieranej przez partnerstwo łącznościowe z AT&T.

08

Anthropic rozszerza Program Weryfikacji Cybernetycznej

Anthropic rozszerzył swój Program Weryfikacji Cybernetycznej, przyznając zweryfikowanym obrońcom cyberbezpieczeństwa szerszy dostęp do swoich najbardziej zaawansowanych modeli. Rozszerzenie następuje po doniesieniach, że partnerzy z powodzeniem zidentyfikowali co najmniej 129 000 zweryfikowanych podatności oprogramowania przy użyciu modeli, demonstrując użyteczność granicznej AI w proaktywnym wykrywaniu zagrożeń i obronie.

Matematyczny kamień milowy OpenAI, 'Le Chonk' od Mistral i finansowanie DeepSeek w wysokości 15 miliardów dolarów | Neural Format