Przełomy AI w matematyce, milowy krok Cursora o wartości 3 mld dolarów i ekspansja AI Spotify

Przełomy AI w matematyce, milowy krok Cursora o wartości 3 mld dolarów i ekspansja AI Spotify

Google DeepMind rozwiązuje dziewięć otwartych problemów matematycznych, Cursor osiąga 3 mld dolarów przychodu przy potencjalnym przejęciu przez SpaceX, a Spotify uruchamia nowe narzędzia audio oparte na AI.

Badania i przełomy

AlphaProof Nexus od Google DeepMind rozwiązuje dziewięć problemów Erdősa

Google DeepMind zaprezentował AlphaProof Nexus, system AI zdolny do generowania zweryfikowanych maszynowo dowodów matematycznych. System pomyślnie rozwiązał dziewięć otwartych problemów Erdősa – jednych z najtrudniejszych nierozwiązanych zagadnień w matematyce – w tym dwa, które pozostawały nierozwiązane przez 56 lat. Proces polegał na połączeniu dużego modelu językowego (LLM) z Lean, asystentem dowodzenia, w celu iteracyjnego generowania i weryfikowania dowodów. Każdy problem został rozwiązany kosztem kilkuset dolarów, a system udowodnił również 44 otwarte hipotezy z Encyklopedii Ciągów Liczb Całkowitych Online.

To osiągnięcie następuje po niedawnych postępach innych laboratoriów w stosowaniu AI do złożonych wyzwań naukowych. Automatyzując proces weryfikacji, podejście Google pokazuje, jak AI może wyjść poza proste rozpoznawanie wzorców i przyczynić się do oryginalnych odkryć matematycznych. Zdolność do generowania i weryfikowania dowodów z prędkością maszyny sugeruje zmianę w podejściu badaczy do długotrwałych problemów teoretycznych w przyszłości.

Claude Mythos od Anthropic identyfikuje ponad 10 000 podatności

Anthropic opublikował wstępne wyniki projektu Glasswing, ujawniając, że jego ograniczony model cyberbezpieczeństwa, Claude Mythos, zidentyfikował w ciągu jednego miesiąca ponad 10 000 podatności o wysokim lub krytycznym stopniu powagi w projektach oprogramowania. Partnerzy, w tym Cloudflare i Mozilla, wykorzystali model do wykrywania i łatania błędów, a Cloudflare zgłosił wskaźnik fałszywie pozytywnych wyników lepszy niż u ludzkich testerów. Ponadto model został użyty przez bank partnerski do wykrycia i zablokowania oszukańczego przelewu na kwotę 1,5 miliona dolarów.

Anthropic nadal ogranicza dostęp do Mythos, powołując się na brak wystarczających zabezpieczeń przed potencjalnym nadużyciem. Jednak sukces modelu podkreśla rosnące możliwości AI w zautomatyzowanym audycie bezpieczeństwa. W miarę jak modele graniczne stają się coraz bardziej biegłe w identyfikowaniu złożonych wad oprogramowania, branża staje przed wyścigiem między obroną napędzaną przez AI a potencjałem zautomatyzowanego wykorzystania.

Biznes i przemysł

Cursor osiąga 3 mld dolarów rocznego przychodu w obliczu rozmów o przejęciu przez SpaceX

Edytor kodu oparty na AI, Cursor, zgłosił 3 miliardy dolarów zannualizowanego przychodu, co stanowi znaczący wzrost w porównaniu z 2 miliardami dolarów w lutym. Firma prognozuje, że przychód przekroczy 6 miliardów dolarów do końca 2026 roku. To szybkie skalowanie wzbudziło zainteresowanie SpaceX, które podobno uzyskało opcję przejęcia startupu za 60 miliardów dolarów lub zapłacenia 10 miliardów dolarów odstępnego. Umowa następuje po okresie ścisłej współpracy, w tym wykorzystania przez Cursor superkomputera Colossus SpaceX do trenowania modeli.

Sukces Cursora podkreśla rosnące znaczenie „warstwy aplikacyjnej