Możemy zmierzać w kierunku zwrotu akcji w sagi OpenAI vs. DeepMind IMO. Właśnie zobaczyłem post od Josepha Myersa (zaangażowanego w Olimpiadę Matematyczną od 1992 roku): podobno komitet IMO poprosił laboratoria AI, aby nie publikowały wyników przez 7 dni po ceremonii zamknięcia — z szacunku dla ludzkich uczestników (zobacz mój post z wczoraj) i prawdopodobnie, aby dać czas na odpowiednią weryfikację zgłoszeń i formatów AI. Według Josepha, OpenAI nie współpracowało z IMO, aby przetestować swój model, a żaden z 91 oficjalnych koordynatorów IMO nie był zaangażowany w ocenianie jego rozwiązań. Tymczasem wydaje się, że DeepMind przestrzega zasad i cierpliwie czeka na swoją kolej. Dla kontekstu: IMO ma 6 problemów, z których każdy wart jest 7 punktów. W tym roku próg złota wynosi 35 punktów. Nawet małe odjęcie mogłoby zepchnąć OpenAI do srebra. A z tego, co przeczytałem w ich opisach, niektóre części mogą budzić wątpliwości — i potencjalnie kosztować punkty. Terence Tao również zauważył, że chociaż problemy pozostają te same, formaty testów mają znaczenie. Uczeń, który nie zdobyłby brązu w standardowych warunkach, może zdobyć złoto w zmodyfikowanym ustawieniu — co rodzi prawdziwe pytania o to, co oznacza „rozwiązywanie IMO” dla AI. Następny tydzień może być pikantny. Bądźcie czujni.

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.

Najlepszy model rozumowania open-source zostanie udostępniony w przyszły czwartek, jeśli wszystko pójdzie dobrze. OpenAI nie udostępniło modelu LLM od czasu GPT-2 w 2019 roku, więc jestem podekscytowany. Hostujemy go na Hyperbolic. Przygotujcie się.

Przyszłość AI jest współpraca