Qwen3-Coder-480B-A35B-Instruct + @hyperbolic_labs jest teraz dostępny w anycoder do kodowania vibe

Cieszę się, że mogę jako pierwszy gościć najlepszy model kodowania Qwen3-Coder na @huggingface! Dziękuję za zaufanie, @Alibaba_Qwen @JustinLin610 @huybery 💜

Co za dziki weekend związany z AI i IMO. Patrząc wstecz na ostatnie 3 dni, byłem świadkiem: > Piątek po południu: wyciekły informacje o tym, że DeepMind zdobył złoto > Sobota 1:00: OpenAI wyprzedziło oficjalne ogłoszenie, kradnąc show > Początkowo myślałem, że Google po prostu jest wolne z powodu zatwierdzenia marketingowego > Potem usłyszałem od ludzi z Google, że IMO i oni sami potrzebowali dodatkowego czasu na weryfikację > Okazało się, że OpenAI nawet nie zaangażowało IMO oficjalnie > Poniedziałek: DeepMind potwierdził swoje złoto z bardziej przejrzystymi i estetycznymi odpowiedziami, w pełni zweryfikowanymi przez IMO To było zabawne być pierwszym, który podzielił się wiadomościami na X w zeszły piątek. Co za dziki weekend! Żarty na bok, ostatnio jest dużo szumu wokół AI w matematyce, ale tego, czego potrzebujemy więcej, to rygor i standaryzacja. Jak zauważył Terence Tao, nawet jeśli wyniki wyglądają podobnie, różnice w formacie testów mogą zrobić ogromną różnicę. Wciąż jesteśmy daleko od posiadania jasnych, spójnych standardów i komunikacji w badaniach nad AI. Jeśli chcemy znaczącego postępu, nadszedł czas, aby społeczność wzięła sprawy w swoje ręce. Zbudujmy benchmarki, którym wszyscy możemy zaufać.

DeepMind zdobył złoty medal na IMO w piątek po południu. Ale musieli czekać na zatwierdzenie tweeta przez marketing — aż do poniedziałku. @OpenAI podzielił się swoim pierwszym o 1:00 w sobotę i skradł show. W tej grze, szybkość > biurokracja. Przegap moment, stracisz narrację.

Zaledwie 20 minut temu ogłoszono wyniki IMO 2025. Chiny zajęły 1. miejsce, a @GoogleDeepMind zdobyło złoty medal 🥇 Przyszłe zawody matematyczne będą polegały na rywalizacji drużyny Chin z drużyną USA oraz drużyną chińską z AI.

W miarę jak modele AI rosną, optymalizacja FLOPS/$ (mocy obliczeniowej na dolar) staje się kluczowa. Zobacz, jak Hyperbolic może zoptymalizować Twoje koszty GPU poniżej 🧵

Co sądzisz o tym pomyśle na billboard dla Hyperbolic?

Właśnie uruchomiliśmy naszą usługę natychmiastowej wyceny zarezerwowanych GPU: idealną dla zespołów AI potrzebujących dedykowanego obliczenia na dłuższy czas. Uzyskaj natychmiastowe ceny dla swoich dokładnych potrzeb infrastrukturalnych bezpośrednio w naszej aplikacji!

Właśnie skończyłem pracę i spróbowałem Grok-4 na problemie z topologii dla studentów. Zajęło mi to 9 minut myślenia, a potem pewnie podał czystą, wiarygodną, ale całkowicie błędną odpowiedź 😅 Nie sądzę, żeby to się kwalifikowało jako "umiejętnie wrogie." Modele AI rozbijają benchmarki — ale wciąż daleko do prawdziwej matematycznej AGI.

Grok uzyskał maksymalną liczbę punktów na AIME 🤯 Zdecydowanie potrzebujemy lepszego benchmarku matematycznego dla AI teraz.